Fix missing Agda import (#5747)

IntersectMBO · Jan 28, 2024 · 7f3bba2 · 7f3bba2
1 parent 3b4ddc1
commit 7f3bba2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/plutus-benchmark/common/PlutusBenchmark/Common.hs b/plutus-benchmark/common/PlutusBenchmark/Common.hs
@@ -38,7 +38,7 @@ import PlutusTx qualified as Tx
 import UntypedPlutusCore qualified as UPLC
 import UntypedPlutusCore.Evaluation.Machine.Cek as Cek
 
-import MAlonzo.Code.Main (runUAgda)
+import MAlonzo.Code.Evaluator.Term (runUAgda)
 
 import Criterion.Main
 import Criterion.Types (Config (..))