From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 1 Jul 2005 11:18:50 +0000 (+0000)
Subject: prerr_endline -> debug_print
X-Git-Tag: PRE_GETTER_STORAGE~71
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4a27fc5e71ee2a0848e938342acdc08c3a0d821f;p=helm.git

prerr_endline -> debug_print
---

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"