Matitaweb:

[helm.git] / matitaB / components / ng_disambiguation / nCicDisambiguate.ml

diff --git a/matitaB/components/ng_disambiguation/nCicDisambiguate.ml b/matitaB/components/ng_disambiguation/nCicDisambiguate.ml
index 95ee85c243db9ff4731941611a114ac909d47782..1d3242804a44f280f91ee3c7a50c439b587acae4 100644 (file)
--- 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