First attempt at svn commit of developments.

[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 b9ea25cfa98bcc60422943c6be840bd88c3ede7a..95ee85c243db9ff4731941611a114ac909d47782 100644 (file)
--- 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