refactor: rename proofs to proof records

anoma · Oct 16, 2024 · 311f737 · 311f737
1 parent cee4b9a
commit 311f737
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Anoma/Transaction/Action.juvix b/Anoma/Transaction/Action.juvix
@@ -18,7 +18,7 @@ type Action :=
   mkAction {
     commitments : Set Resource.Commitment;
     nullifiers : Set Resource.Nullifier;
-    proofs : Set ProofRecord;
+    proofRecords : Set ProofRecord;
     appData : AppData
   };
 
@@ -30,7 +30,7 @@ module ActionInternal;
   compare (lhs rhs : Action) : Ordering :=
     let
       prod (a : Action) : _ :=
-        Action.commitments a, Action.nullifiers a, Action.proofs a, Action.appData a;
+        Action.commitments a, Action.nullifiers a, Action.proofRecords a, Action.appData a;
     in Ord.cmp (prod lhs) (prod rhs);
 
   --- Implements the ;Ord; trait for ;Action;.