X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_disambiguation%2FnCicDisambiguate.ml;fp=matitaB%2Fcomponents%2Fng_disambiguation%2FnCicDisambiguate.ml;h=c34a5731505c0b9b38d10b11ad91ab1ca9387ce7;hb=86b0a224bd9251ed22648de04bc0d00f11dbd0fc;hp=ff6f70e946da0ebc17bc78ceff786beef99a0677;hpb=e499c2e36d8a39c4749b8e0e34438b49532d15b8;p=helm.git

diff --git a/matitaB/components/ng_disambiguation/nCicDisambiguate.ml b/matitaB/components/ng_disambiguation/nCicDisambiguate.ml
index ff6f70e94..c34a57315 100644
--- a/matitaB/components/ng_disambiguation/nCicDisambiguate.ml
+++ b/matitaB/components/ng_disambiguation/nCicDisambiguate.ml
@@ -654,8 +654,8 @@ let rec initialize_ast (* ~aliases *) ~universe ~lookup_in_library ~local_names
                | DisambiguateTypes.Symbol _ -> "SYM"
                | DisambiguateTypes.Num _ -> "NUM"
              in
-             prerr_endline (Printf.sprintf "lookup_choices of %s returns length %d" id
-               (List.length res));
+             debug_print (lazy (Printf.sprintf "lookup_choices of %s returns length %d" id
+               (List.length res)));
              res
           with Not_found -> [])
    in