]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/disambiguation/multiPassDisambiguator.ml
coercions are there, but not heavily tested
[helm.git] / helm / software / components / disambiguation / multiPassDisambiguator.ml
index becf2a41229c18b0b3259a1f2d453a05d0e716c7..9415e3a744f2084b541cda0e69f0a3db2f898f01 100644 (file)
@@ -124,6 +124,7 @@ 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