Partial implementation of "go to cursor" action.

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

diff --git a/matitaB/matita/applyTransformation.ml b/matitaB/matita/applyTransformation.ml
index f99c67f8b1ab6161d2b48c4c949d7779eab9ac29..5db35244e397e1e4020403219b4d246e8a95fc04 100644 (file)
--- 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 80 self
+      (fun m -> ntxt_of_cic_sequent ~map_unicode_to_tex:true 50 self
         ~metasenv ~subst m) metasenv)
 (*
   method ppobj obj =