Skip to content

Commit

Permalink
remove redundant import from test
Browse files Browse the repository at this point in the history
  • Loading branch information
janmasrovira committed Jul 22, 2024
1 parent bfd86b0 commit 9826a4c
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions tests/positive/RecordIterator.juvix
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
module RecordIterator;

import Stdlib.Function open;

trait
type Foldable (container elem : Type) :=
mkFoldable {
Expand Down

0 comments on commit 9826a4c

Please sign in to comment.