map_unicode_to_tex is no longer optional and it always refers to the current

[helm.git] / components / content_pres / boxPp.ml

diff --git a/components/content_pres/boxPp.ml b/components/content_pres/boxPp.ml
index 5719f2b69203912cb5a1983c48d16f849f43f075..0c18475489b076db0fc5aa1feeb262ec83e21ca9 100644 (file)
--- a/components/content_pres/boxPp.ml
+++ b/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
@@ -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)