X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_parser%2FgrafiteDisambiguate.ml;h=7510c1cc59f1bb61b7b310fb1c33561d6527a3ce;hb=8bbe582d87984526f40182c4409cbfd43108cb79;hp=7ce0407e85d58e24a481f023b024a0eb49159368;hpb=a14adba81c00c9dcb9996d7af39e4803214606f1;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__"