]> matita.cs.unibo.it Git - helm.git/commitdiff
Debugging code removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Dec 2008 23:03:13 +0000 (23:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Dec 2008 23:03:13 +0000 (23:03 +0000)
helm/software/components/disambiguation/multiPassDisambiguator.ml

index 9415e3a744f2084b541cda0e69f0a3db2f898f01..becf2a41229c18b0b3259a1f2d453a05d0e716c7 100644 (file)
@@ -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