remove randSeed from StandardInputs

anoma · Jan 8, 2025 · a20db44 · a20db44
1 parent 43c4c6f
commit a20db44
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/Applib/Helpers.juvix b/Applib/Helpers.juvix
@@ -47,13 +47,12 @@ isNullifierPresent
   (nullifier : Nullifier) (nullifierSet : Set Nullifier) : Bool :=
   Set.isMember nullifier nullifierSet;
 
---- Standard inputs to for transaction functions.
+--- Standard inputs for transaction functions.
 --- NOTE: In the future, this will include more settings such as the information flow control flag.
 type StandardInputs :=
   mkStandardInputs@{
     caller : Identity;
     currentRoot : CommitmentTree.Root;
-    randSeed : RandSeed;
   };
 
 mkActionHelper