Fix benchmarks test compilation (#2552)

The benchmarks build has been broken for some time because one of the juvix programs was not compiling.
anoma · Dec 10, 2023 · 170a4d3 · 170a4d3
1 parent d3e862f
commit 170a4d3
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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