X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FapplyTransformation.ml;h=9f5f5c311f7196441db3e6626416c86432766814;hb=66ed4f33ff67b9fe0c28ce4a37eee4834e78e115;hp=5ae773c49de1b72df40b60294b1137e7b55f4543;hpb=134014e54c374789b38b6c53945f63d21ddbacb0;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