X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FcicMathView.ml;h=effa760014fe0bb87ff4734c733f92d3b03022c1;hb=ca318d6d92098c3a65c9f0841174ca110c82e064;hp=9f1a004584017252026ddc9972bf50a805f93b26;hpb=b3be8ee41041a90005740cfa106109e0c83db13f;p=helm.git

diff --git a/matitaB/matita/cicMathView.ml b/matitaB/matita/cicMathView.ml
index 9f1a00458..effa76001 100644
--- 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 =