X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent_pres%2FboxPp.ml;h=295275ee30e657ef26ed5394bb21feb6c9da44c0;hb=f9a3532255fb8dd1bf88902898bfe887a078c53e;hp=0d58d97643a17aa147d117d006ed4cc8cec212d5;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/content_pres/boxPp.ml b/matita/components/content_pres/boxPp.ml
index 0d58d9764..295275ee3 100644
--- a/matita/components/content_pres/boxPp.ml
+++ b/matita/components/content_pres/boxPp.ml
@@ -33,7 +33,7 @@ let string_space = " "
 let string_space_len = String.length string_space
 let string_indent = (* string_space *) ""
 let string_indent_len = String.length string_indent
-let string_ink = "##"
+let string_ink = "---------------------------"
 let string_ink_len = String.length string_ink
 
 let contains_attrs contained container =