From edf4548dc34108640cd784eb0b18d97b21286932 Mon Sep 17 00:00:00 2001
From: Michael Heuer <michael.heuer@rwth-aachen.de>
Date: Wed, 16 Oct 2024 11:49:15 +0200
Subject: [PATCH] fix: use generic proof record type

---
 Anoma/State/ResourceMachine.juvix | 4 ++--
 Anoma/Transaction/Object.juvix    | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Anoma/State/ResourceMachine.juvix b/Anoma/State/ResourceMachine.juvix
index 6bec8f7..ba1c3e2 100644
--- a/Anoma/State/ResourceMachine.juvix
+++ b/Anoma/State/ResourceMachine.juvix
@@ -6,7 +6,7 @@ import Anoma.Transaction.Object as Transaction open using {Transaction; mkTransa
 import Anoma.State.CommitmentTree as CommitmentTree open using {Root};
 import Anoma.Transaction.Action as Action open using {Action};
 import Anoma.Delta as Delta open using {Delta};
-import Anoma.Proving.DeltaProof as DeltaProof;
+import Anoma.Proving.ProofRecord open using {ProofRecord};
 
 --- The resource machine interface.
 trait
@@ -16,7 +16,7 @@ type ResourceMachine :=
     create : (roots : Set CommitmentTree.Root)
       -> (actions : Set Action)
       -> (delta : Delta)
-      -> (deltaProof : DeltaProof.ProofRecord)
+      -> (deltaProof : ProofRecord)
       -> Transaction;
 
     --- Composes two ;Transaction;s with the transa
diff --git a/Anoma/Transaction/Object.juvix b/Anoma/Transaction/Object.juvix
index b3a84e2..26cbaa2 100644
--- a/Anoma/Transaction/Object.juvix
+++ b/Anoma/Transaction/Object.juvix
@@ -6,7 +6,7 @@ import Anoma.Resource.Types as Resource;
 import Anoma.State.CommitmentTree as CommitmentTree;
 import Anoma.Transaction.Action open using {Action};
 import Anoma.Delta as Delta open using {Delta};
-import Anoma.Proving.DeltaProof as DeltaProof;
+import Anoma.Proving.ProofRecord open using {ProofRecord};
 import Anoma.Utils open;
 
 --- A record describing a transaction object, the entity constituting a state transition in Anoma.
@@ -16,7 +16,7 @@ type Transaction :=
     roots : Set CommitmentTree.Root;
     actions : Set Action;
     delta : Delta;
-    deltaProofRecord : DeltaProof.ProofRecord
+    deltaProofRecord : ProofRecord
   };
 
 --- Composes two ;Transaction; objects.