remove redundant import from test

anoma · Jul 22, 2024 · 4cdf3f5 · 4cdf3f5
1 parent 1392f10
commit 4cdf3f5
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/tests/positive/RecordIterator.juvix b/tests/positive/RecordIterator.juvix
@@ -1,7 +1,5 @@
 module RecordIterator;
 
-import Stdlib.Function open;
-
 trait
 type Foldable (container elem : Type) :=
   mkFoldable {