X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_unification%2FcoercDb.ml;h=6a514b814c95647e1a9b77fc6a06aae868f0b94c;hb=b9af9f1c0de6a1735b492f5c793a87a8fce218cc;hp=149f3a4ab5e781d54589dbf6afb93a25c2f72a1a;hpb=6376b9d56df8c0151a4cd5f35f2646d9922b5858;p=helm.git

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)