fix: wrong function signature

anoma · Sep 24, 2024 · d0c61b7 · d0c61b7
1 parent 6430113
commit d0c61b7
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/Anoma/Transaction/Types.juvix b/Anoma/Transaction/Types.juvix
@@ -50,9 +50,6 @@ compose (tx1 tx2 : Transaction) : Transaction :=
     -- };
     deltaProof :=
       DeltaProof.aggregate@{
-        Witness := DeltaProof.Witness;
-        Proof := DeltaProof.Proof;
-        VerifyingKey := DeltaProof.VerifyingKey;
         p1 := Transaction.deltaProof tx1;
         p2 := Transaction.deltaProof tx2
       }