matitaweb: added retract (undo)

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

diff --git a/matitaB/components/content_pres/boxPp.ml b/matitaB/components/content_pres/boxPp.ml
index af11da8112b5fe8a3502874327c69471cd75f5e6..5d406b9fb38b7f3737304931c138fe1f2b9a03dc 100644 (file)
--- a/matitaB/components/content_pres/boxPp.ml
+++ b/matitaB/components/content_pres/boxPp.ml
@@ -28,7 +28,7 @@
 
 (** {2 Pretty printing from BoxML to strings} *)
 
-let utf8_string_length s = Utf8.compute_len s 0 (String.length s)
+let utf8_string_length s = Utf8.compute_len s 0 (String.length s) 
 
 let string_space = " "
 let string_space_len = utf8_string_length string_space