From 4a27fc5e71ee2a0848e938342acdc08c3a0d821f Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 1 Jul 2005 11:18:50 +0000 Subject: [PATCH] prerr_endline -> debug_print --- helm/ocaml/cic_unification/coercGraph.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" -- 2.39.2