- procedural: bugfix in "Barendregt convention" test

[helm.git] / helm / software / matita / applyTransformation.ml

diff --git a/helm/software/matita/applyTransformation.ml b/helm/software/matita/applyTransformation.ml
index 5ae773c49de1b72df40b60294b1137e7b55f4543..9f5f5c311f7196441db3e6626416c86432766814 100644 (file)
--- 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