X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcontent_pres%2FboxPp.ml;h=53149877ea73a1eb71e3c5b2f75ec4f7f78df552;hb=8228e5fda05814bdb115480b57f0ccbe1639b99c;hp=2957a3975446f48c3c0c69e763d3ba45eccd43cc;hpb=27ce29cfef1e71c00ee19d2c00c9f425f9efb031;p=helm.git

diff --git a/components/content_pres/boxPp.ml b/components/content_pres/boxPp.ml
index 2957a3975..53149877e 100644
--- a/components/content_pres/boxPp.ml
+++ b/components/content_pres/boxPp.ml
@@ -31,7 +31,7 @@ module Pres = Mpresentation
 
 let string_space = " "
 let string_space_len = String.length string_space
-let string_indent = string_space
+let string_indent = (* string_space *) ""
 let string_indent_len = String.length string_indent
 let string_ink = "##"
 let string_ink_len = String.length string_ink