TwoThree: remove dead parameter

coq-community · Sep 5, 2024 · 871b002 · 871b002
1 parent 67db2e0
commit 871b002
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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 :=