From 311f737f007e938b1b34c6cb2c738f0be9f41c5c Mon Sep 17 00:00:00 2001
From: Michael Heuer <michael.heuer@rwth-aachen.de>
Date: Wed, 16 Oct 2024 11:31:41 +0200
Subject: [PATCH] refactor: rename proofs to proof records

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

diff --git a/Anoma/Transaction/Action.juvix b/Anoma/Transaction/Action.juvix
index fff9356..87f0422 100644
--- 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;.