fix tests

anoma · Aug 13, 2024 · ae7c1eb · ae7c1eb
1 parent 3372638
commit ae7c1eb
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 6 deletions.
diff --git a/tests/Anoma/Compilation/positive/test058.juvix b/tests/Anoma/Compilation/positive/test058.juvix
@@ -1,8 +1,7 @@
 -- ranges
 module test058;
 
-import Stdlib.Prelude open hiding {for};
-import Stdlib.Data.Range open;
+import Stdlib.Prelude open;
 
 sum (x : Nat) : Nat :=
   for (acc := 0) (n in 1 to x) {acc + n};

diff --git a/tests/Casm/Compilation/positive/test058.juvix b/tests/Casm/Compilation/positive/test058.juvix
@@ -1,8 +1,7 @@
 -- ranges
 module test058;
 
-import Stdlib.Prelude open hiding {for};
-import Stdlib.Data.Range open;
+import Stdlib.Prelude open;
 
 sum (x : Nat) : Nat :=
   for (acc := 0) (n in 1 to x) {acc + n};

diff --git a/tests/Rust/Compilation/positive/test058.juvix b/tests/Rust/Compilation/positive/test058.juvix
@@ -1,8 +1,7 @@
 -- ranges
 module test058;
 
-import Stdlib.Prelude open hiding {for};
-import Stdlib.Data.Range open;
+import Stdlib.Prelude open;
 
 sum (x : Nat) : Nat :=
   for (acc := 0) (n in 1 to x) {acc + n};