From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 5 Dec 2008 23:03:13 +0000 (+0000)
Subject: Debugging code removed.
X-Git-Tag: make_still_working~4445
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ff52cc33b36594d156f8c7d4351ffe0a34730b62;p=helm.git

Debugging code removed.
---

diff --git a/helm/software/components/disambiguation/multiPassDisambiguator.ml b/helm/software/components/disambiguation/multiPassDisambiguator.ml
index 9415e3a74..becf2a412 100644
--- a/helm/software/components/disambiguation/multiPassDisambiguator.ml
+++ b/helm/software/components/disambiguation/multiPassDisambiguator.ml
@@ -124,7 +124,6 @@ let disambiguate_thing ~description_of_alias ~passes ~aliases ~universe ~f thing
   in
   let rec aux i errors passes =
   debug_print (lazy ("Pass: " ^ string_of_int i));
-  prerr_endline (("Pass: " ^ string_of_int i));
    match passes with
       [ pass ] ->
         (try