From 5e0a1eb06c395c58c5bd743a2bd47e4e59efbba2 Mon Sep 17 00:00:00 2001
From: Yishuai Li <liyishuai.lys@alibaba-inc.com>
Date: Thu, 5 Sep 2024 12:02:46 +0800
Subject: [PATCH] TwoThree: remove dead parameter

---
 theories/Data/Map/FMapTwoThreeK.v | 1 -
 1 file changed, 1 deletion(-)

diff --git a/theories/Data/Map/FMapTwoThreeK.v b/theories/Data/Map/FMapTwoThreeK.v
index 0335454c..e6aea599 100644
--- a/theories/Data/Map/FMapTwoThreeK.v
+++ b/theories/Data/Map/FMapTwoThreeK.v
@@ -9,7 +9,6 @@ Set Strict Implicit.
 
 Section keyed.
   Variable K : Type.
-  Variable K_le : K -> K -> Prop.
   Variable RD_K : K -> K -> comparison.
 
   Inductive twothree (T : Type) : Type :=