X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_unification%2FcoercGraph.ml;h=57274e616446b3dab7b416c8db8f71f3aace8441;hb=e6b28085c97ae7b9bd3f3262b105f6b84f42b047;hp=c1056b6eca8a912c1ba9b0171ebcf368ea514a3a;hpb=405d288cca88e63515164a8d42d60087e305615c;p=helm.git

diff --git a/helm/ocaml/cic_unification/coercGraph.ml b/helm/ocaml/cic_unification/coercGraph.ml
index c1056b6ec..57274e616 100644
--- a/helm/ocaml/cic_unification/coercGraph.ml
+++ b/helm/ocaml/cic_unification/coercGraph.ml
@@ -38,7 +38,7 @@ let look_for_coercion src tgt =
           (fun (s,t) -> UriManager.eq s src && UriManager.eq t tgt) 
       in
       match l with
-      | [] -> prerr_endline ":( coercion non trovata"; None
+      | [] -> debug_print ":( coercion non trovata"; None
       | u::_ -> 
           debug_print (
             sprintf ":) TROVATE %d coercion(s) da %s a %s, prendo la prima: %s"