From 170a4d39c036115fad1829c764828e4eee97129a Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Sun, 10 Dec 2023 12:13:56 +0100
Subject: [PATCH] Fix benchmarks test compilation (#2552)

The benchmarks build has been broken for some time because one of the
juvix programs was not compiling.
---
 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