From 2850cfe34283a883d900f60785aa6e08b51fe8e7 Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Wed, 30 Oct 2024 18:00:45 +0000
Subject: [PATCH] actionsDelta argument should be Set Action

---
 Anoma/Base.juvix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Anoma/Base.juvix b/Anoma/Base.juvix
index cf9eb92..4b09628 100644
--- 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;