From ff52cc33b36594d156f8c7d4351ffe0a34730b62 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 5 Dec 2008 23:03:13 +0000 Subject: [PATCH] Debugging code removed. --- .../software/components/disambiguation/multiPassDisambiguator.ml | 1 - 1 file changed, 1 deletion(-) 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 -- 2.39.2