ListSet: remove dead parameter

coq-community · Sep 6, 2024 · d933608 · d933608
1 parent 871b002
commit d933608
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/Data/Set/ListSet.v b/theories/Data/Set/ListSet.v
@@ -58,7 +58,7 @@ Global Instance DSet_weak_listset {T} (R : T -> T -> Prop)
 ; filter     := @List.filter _
 }.
 
-Global Instance Foldable_listset {T} (R : T -> T -> Prop)
+Global Instance Foldable_listset {T}
   : Foldable (lset T) T :=
   fun _ f a t => List.fold_left (fun x y => f y x) t a.