X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fdisambiguation%2FmultiPassDisambiguator.ml;h=becf2a41229c18b0b3259a1f2d453a05d0e716c7;hb=ff52cc33b36594d156f8c7d4351ffe0a34730b62;hp=9415e3a744f2084b541cda0e69f0a3db2f898f01;hpb=62f476a05884d451bfb90d845ea2b1c0a1c77f96;p=helm.git

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