X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FapplyTransformation.ml;fp=helm%2Fsoftware%2Fmatita%2FapplyTransformation.ml;h=9f5f5c311f7196441db3e6626416c86432766814;hb=1e1f24496beba354fb3f550496858b5755d9be0b;hp=5ae773c49de1b72df40b60294b1137e7b55f4543;hpb=820e0ea35f999236e0a55915c1d40cf745ffd6b9;p=helm.git

diff --git a/helm/software/matita/applyTransformation.ml b/helm/software/matita/applyTransformation.ml
index 5ae773c49..9f5f5c311 100644
--- a/helm/software/matita/applyTransformation.ml
+++ b/helm/software/matita/applyTransformation.ml
@@ -219,7 +219,8 @@ let txt_of_cic_object
             (CicNotationPres.mpres_of_box bobj)
         ^ "\n\n" )
      | G.Procedural depth ->
-(*
+(*     
+        PO.debug := true;
         PO.critical := false;
 	Acic2Procedural.tex_formatter := Some Format.std_formatter;	
 	let _ = ProceduralTeX.tex_of_obj Format.std_formatter obj in