diff --git a/Anoma/Transaction/Object.juvix b/Anoma/Transaction/Object.juvix
index a75d83d..b3a84e2 100644
--- 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.