From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 28 Jul 2010 16:44:03 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~2857
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=16f2f9f9915f483089fd0f532e25ff51e2252bac;p=helm.git

...
---

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__"