hide List.isMember

anoma · Oct 9, 2024 · 0559e45 · 0559e45
1 parent 89134d6
commit 0559e45
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Stdlib/Data/Set/AVL.juvix b/Stdlib/Data/Set/AVL.juvix
@@ -14,7 +14,7 @@ import Stdlib.Data.Nat open;
 import Stdlib.Data.Int open;
 import Stdlib.Data.Bool open;
 import Stdlib.Data.Pair open;
-import Stdlib.Data.List open;
+import Stdlib.Data.List open hiding {isMember};
 import Stdlib.Data.String open;
 import Stdlib.Trait.Foldable open;
 import Stdlib.Function open;