From 6707bdbd677ee7709bebec14880e1673b4048c6d Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 9 Jun 2005 11:43:40 +0000 Subject: [PATCH] fixed remove_coercion --- helm/ocaml/cic_unification/coercDb.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_unification/coercDb.ml b/helm/ocaml/cic_unification/coercDb.ml index 149f3a4ab..6a514b814 100644 --- a/helm/ocaml/cic_unification/coercDb.ml +++ b/helm/ocaml/cic_unification/coercDb.ml @@ -7,7 +7,7 @@ let add_coercion c = db := c :: !db let remove_coercion p = - db := List.filter p !db + db := List.filter (fun u -> not(p u)) !db let find_coercion f = List.map (fun (_,_,x) -> x) (List.filter (fun (s,t,_) -> f (s,t)) !db) -- 2.39.2