X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_disambiguation%2FnCicDisambiguate.ml;h=95ee85c243db9ff4731941611a114ac909d47782;hb=acf77bb24694158a57444c7f32da46ceac8b30c4;hp=b9ea25cfa98bcc60422943c6be840bd88c3ede7a;hpb=8f694a82e3291e4a3c2a4f805782846204cf348c;p=helm.git

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