Small fix after drop uni PR (#5098)

Co-authored-by: Nikolaos Bezirgiannis <bezirg@users.noreply.github.com>
IntersectMBO · Jan 31, 2023 · c8520e1 · c8520e1
1 parent 1a19ae6
commit c8520e1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/...s-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/Cek/Debug/Internal.hs b/...s-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/Cek/Debug/Internal.hs
@@ -225,7 +225,7 @@ applyEvaluate !_ !_ val _ =
 -- MAYBE: runCekDeBruijn can be shared between original&debug ceks by passing a `enterComputeCek` func.
 runCekDeBruijn
     :: (PrettyUni uni fun)
-    => MachineParameters CekMachineCosts CekValue uni fun ann
+    => MachineParameters CekMachineCosts fun (CekValue uni fun ann)
     -> ExBudgetMode cost uni fun
     -> EmitterMode uni fun
     -> Term NamedDeBruijn uni fun ann
@@ -340,7 +340,7 @@ defaultSlippage = 200
 runCekM
     :: forall a cost uni fun ann.
     (PrettyUni uni fun)
-    => MachineParameters CekMachineCosts CekValue uni fun ann
+    => MachineParameters CekMachineCosts fun (CekValue uni fun ann)
     -> ExBudgetMode cost uni fun
     -> EmitterMode uni fun
     -> (forall s. GivenCekReqs uni fun ann s => CekM uni fun s a)