Skip to content

Commit e76c39d

Browse files
k32k32
authored
Merge pull request #4 from libtx/avl
Remove unused imports
2 parents aa62974 + 7965815 commit e76c39d

File tree

1 file changed

+1
-4
lines changed
  • theories/Storage/Instances

1 file changed

+1
-4
lines changed

‎theories/Storage/Instances/AVL.v‎

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,6 @@
11
From Coq Require Import
2-
FMapInterface
32
FMapAVL
4-
OrderedType
5-
OrderedTypeEx
6-
ZArith.
3+
OrderedType.
74

85
Require Import Classes.
96

0 commit comments

Comments
 (0)