From f69670f2885f168312a54c3ada6a7496730ad01f Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Thu, 7 Dec 2023 18:50:52 +0100
Subject: [PATCH] Fix benchmarks compilation

---
 tests/benchmark/mapfun/juvix/mapfun.juvix | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/tests/benchmark/mapfun/juvix/mapfun.juvix b/tests/benchmark/mapfun/juvix/mapfun.juvix
index b09c92acc9..8e193879f9 100644
--- a/tests/benchmark/mapfun/juvix/mapfun.juvix
+++ b/tests/benchmark/mapfun/juvix/mapfun.juvix
@@ -1,9 +1,7 @@
 -- successively map K functions to a list of N integers
 module mapfun;
 
-import Stdlib.Prelude open hiding {+};
-import Stdlib.Data.Int open;
-import Stdlib.Data.Int.Ord open;
+import Stdlib.Prelude open;
 
 mapfun : {A : Type} → List (A → A) → List A → List A
   | nil xs := xs