WIP on cpce ...

[helm.git] / matitaB / matita / cicMathView.ml

diff --git a/matitaB/matita/cicMathView.ml b/matitaB/matita/cicMathView.ml
index 9f1a004584017252026ddc9972bf50a805f93b26..effa760014fe0bb87ff4734c733f92d3b03022c1 100644 (file)
--- a/matitaB/matita/cicMathView.ml
+++ b/matitaB/matita/cicMathView.ml
@@ -637,7 +637,7 @@ object (self)
     let sequent = List.assoc metano metasenv in
     let txt =
      ApplyTransformation.ntxt_of_cic_sequent
-      ~map_unicode_to_tex:false 20 status ~metasenv ~subst (metano,sequent)
+      ~map_unicode_to_tex:false 50 status ~metasenv ~subst (metano,sequent)
     in
     (* MATITA 1.0 if BuildTimeConf.debug then begin
       let name =