From 4cdf3f5d5ed98de937a21418fafaee856806037d Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Mon, 22 Jul 2024 15:55:47 +0200
Subject: [PATCH] remove redundant import from test

---
 tests/positive/RecordIterator.juvix | 2 --
 1 file changed, 2 deletions(-)

diff --git a/tests/positive/RecordIterator.juvix b/tests/positive/RecordIterator.juvix
index d174e656c6..d840360ad8 100644
--- 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 {