X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FboxPp.ml;h=0c18475489b076db0fc5aa1feeb262ec83e21ca9;hb=2cb9996c8aa785c962bba42ebd00fae5018b03d8;hp=ca51c0ed3e46d8c14730301bd7640bfb598d6a7e;hpb=fa6addea4fa1f37567dca9104164710870a50392;p=helm.git

diff --git a/helm/software/components/content_pres/boxPp.ml b/helm/software/components/content_pres/boxPp.ml
index ca51c0ed3..0c1847548 100644
--- a/helm/software/components/content_pres/boxPp.ml
+++ b/helm/software/components/content_pres/boxPp.ml
@@ -93,7 +93,7 @@ let fixed_rendering s =
   let s_len = String.length s in
   (fun _ -> s_len, [s])
 
-let render_to_strings ?(map_unicode_to_tex = true) choose_action size markup =
+let render_to_strings ~map_unicode_to_tex choose_action size markup =
   let max_size = max_int in
   let rec aux_box =
     function
@@ -199,7 +199,7 @@ let render_to_strings ?(map_unicode_to_tex = true) choose_action size markup =
             else
               match Utf8Macro.tex_of_unicode s with
               | Some s -> s ^ " "
-              | None -> s
+              | None -> " " ^ s ^ " "
           end else
             s
         in
@@ -240,7 +240,7 @@ let render_to_strings ?(map_unicode_to_tex = true) choose_action size markup =
   in
   snd (aux_mpres markup size)
 
-let render_to_string ?map_unicode_to_tex choose_action size markup =
+let render_to_string ~map_unicode_to_tex choose_action size markup =
   String.concat "\n"
-    (render_to_strings ?map_unicode_to_tex choose_action size markup)
+    (render_to_strings ~map_unicode_to_tex choose_action size markup)