That's an unfortunate call

IntersectMBO · Apr 13, 2022 · c00a346 · c00a346
1 parent c721203
commit c00a346
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plutus-benchmark/validation/Common.hs b/plutus-benchmark/validation/Common.hs
@@ -141,7 +141,7 @@ type Term = UPLC.Term UPLC.DeBruijn UPLC.DefaultUni UPLC.DefaultFun ()
 peelDataArguments :: Term -> (Term, [PLC.Data])
 peelDataArguments = go []
     where
-        go acc t@(UPLC.Apply () t' arg) = case PLC.readKnown Nothing arg of
+        go acc t@(UPLC.Apply () t' arg) = case PLC.readKnown @UPLC.DefaultUni Nothing arg of
             Left _  -> (t, acc)
             Right d -> go (d:acc) t'
         go acc t = (t, acc)