X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_disambiguation%2FnCicDisambiguate.ml;h=1d3242804a44f280f91ee3c7a50c439b587acae4;hb=0aa993bb1d23567612aa5d63fab74ef6fb918c0d;hp=95ee85c243db9ff4731941611a114ac909d47782;hpb=5fbe7da7019bda8fead167c8b1da1b06625551b3;p=helm.git

diff --git a/matitaB/components/ng_disambiguation/nCicDisambiguate.ml b/matitaB/components/ng_disambiguation/nCicDisambiguate.ml
index 95ee85c24..1d3242804 100644
--- a/matitaB/components/ng_disambiguation/nCicDisambiguate.ml
+++ b/matitaB/components/ng_disambiguation/nCicDisambiguate.ml
@@ -18,8 +18,8 @@ open DisambiguateTypes
 module Ast = NotationPt
 module NRef = NReference 
 
-let debug_print s = prerr_endline (Lazy.force s);;
-(* let debug_print _ = ();; *)
+(*let debug_print s = prerr_endline (Lazy.force s);;*)
+let debug_print _ = ();;
 
 let cic_name_of_name = function
   | Ast.Ident (n,_) ->  n