prerr_endline -> debug_print

diff --git a/helm/ocaml/cic_unification/coercGraph.ml b/helm/ocaml/cic_unification/coercGraph.ml
index c1056b6eca8a912c1ba9b0171ebcf368ea514a3a..57274e616446b3dab7b416c8db8f71f3aace8441 100644 (file)
--- 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"