From 16f2f9f9915f483089fd0f532e25ff51e2252bac Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 28 Jul 2010 16:44:03 +0000 Subject: [PATCH] ... --- helm/software/components/grafite_parser/grafiteDisambiguate.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/grafite_parser/grafiteDisambiguate.ml b/helm/software/components/grafite_parser/grafiteDisambiguate.ml index 7ce0407e8..7510c1cc5 100644 --- a/helm/software/components/grafite_parser/grafiteDisambiguate.ml +++ b/helm/software/components/grafite_parser/grafiteDisambiguate.ml @@ -43,7 +43,7 @@ let singleton msg = function Printf.sprintf "GrafiteDisambiguate.singleton (%s): %u interpretations" msg (List.length l) in - HLog.debug debug; assert false + prerr_endline debug; assert false let __Implicit = "__Implicit__" let __Closed_Implicit = "__Closed_Implicit__" -- 2.39.2