actionsDelta argument should be Set Action

anoma · Oct 31, 2024 · 2850cfe · 2850cfe
1 parent 797014e
commit 2850cfe
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Anoma/Base.juvix b/Anoma/Base.juvix
@@ -240,8 +240,8 @@ module Transaction;
   -- Add the Transaction projection functions to the scope for convenience.
   open Transaction public;
 
-  --- Compute the delta for a list of actions.
-  axiom actionsDelta : List Action -> Delta;
+  --- Compute the delta for a set of actions.
+  axiom actionsDelta : Set Action -> Delta;
 
   --- Compute a proof for the transaction balance.
   axiom proveBalance : Transaction -> Proof;