From 79658158621b332970c46f8fcd9b13898ef83ac0 Mon Sep 17 00:00:00 2001
From: k32 <10274441+k32@users.noreply.github.com>
Date: Sun, 15 Feb 2026 16:48:17 +0100
Subject: [PATCH] Remove unused imports

---
 theories/Storage/Instances/AVL.v | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

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.