From 7f3bba2e5cc96e593b9cc3d36547617d8b911a52 Mon Sep 17 00:00:00 2001 From: Kenneth MacKenzie Date: Sun, 28 Jan 2024 11:42:26 +0000 Subject: [PATCH] Fix missing Agda import (#5747) --- plutus-benchmark/common/PlutusBenchmark/Common.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plutus-benchmark/common/PlutusBenchmark/Common.hs b/plutus-benchmark/common/PlutusBenchmark/Common.hs index 2019f010710..994efd92687 100644 --- 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 (..))