X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FapplyTransformation.ml;h=5db35244e397e1e4020403219b4d246e8a95fc04;hb=c9f62ea7b8b3a77048c7d1f78c3d430110b0745a;hp=a911742b05e980b810aaf8f7b74db4078ea197a3;hpb=b3be8ee41041a90005740cfa106109e0c83db13f;p=helm.git

diff --git a/matitaB/matita/applyTransformation.ml b/matitaB/matita/applyTransformation.ml
index a911742b0..5db35244e 100644
--- a/matitaB/matita/applyTransformation.ml
+++ b/matitaB/matita/applyTransformation.ml
@@ -101,7 +101,7 @@ class status =
   method ppmetasenv ~subst metasenv =
    String.concat "\n"
     (List.map
-      (fun m -> ntxt_of_cic_sequent ~map_unicode_to_tex:true 20 self
+      (fun m -> ntxt_of_cic_sequent ~map_unicode_to_tex:true 50 self
         ~metasenv ~subst m) metasenv)
 (*
   method ppobj obj =