PLT-3313: Re-extracted code

input-output-hk · Mar 21, 2023 · bb42a23 · bb42a23
1 parent 682977f
commit bb42a23
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/isabelle/generated/Semantics.hs b/isabelle/generated/Semantics.hs
@@ -8,11 +8,11 @@ module
              TransactionOutput(..), Transaction_ext(..), evalValue,
              evalObservation, txOutWarnings, txOutPayments, reductionLoop,
              reduceContractUntilQuiescent, applyAllInputs, fixInterval,
-             computeTransaction, playTraceAux, playTrace, getOutcomes,
-             isQuiescent, maxTimeContract, getSignatures,
-             calculateNonAmbiguousInterval, txOutState, txOutContract,
-             equal_ReduceResult, equal_TransactionError,
-             equal_TransactionOutput, equal_Transaction_ext)
+             computeTransaction, playTrace, getOutcomes, isQuiescent,
+             maxTimeContract, getSignatures, calculateNonAmbiguousInterval,
+             txOutState, txOutContract, equal_ReduceResult,
+             equal_TransactionError, equal_TransactionOutput,
+             equal_Transaction_ext)
   where {
 
 import Prelude ((==), (/=), (<), (<=), (>=), (>), (+), (-), (*), (/), (**),