refactor: rename deltaProof to deltaProofRecord

anoma · Oct 16, 2024 · 474ba7f · 474ba7f
1 parent bb8dcc2
commit 474ba7f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Anoma/Transaction/Object.juvix b/Anoma/Transaction/Object.juvix
@@ -16,7 +16,7 @@ type Transaction :=
     roots : Set CommitmentTree.Root;
     actions : Set Action;
     delta : Delta;
-    deltaProof : DeltaProof.ProofRecord
+    deltaProofRecord : DeltaProof.ProofRecord
   };
 
 --- Composes two ;Transaction; objects.