diff --git a/theories/Storage/Instances/AVL.v b/theories/Storage/Instances/AVL.v
index 22bb6a1..6e5a727 100644
--- a/theories/Storage/Instances/AVL.v
+++ b/theories/Storage/Instances/AVL.v
@@ -1,9 +1,6 @@
 From Coq Require Import
-  FMapInterface
   FMapAVL
-  OrderedType
-  OrderedTypeEx
-  ZArith.
+  OrderedType.
 
 Require Import Classes.