X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent_pres%2Fbox.ml;h=74cc844e6fc0b9b2a73a20064717c35002f1326a;hb=cf8b1c25a0011ca2a8a856b39e046da33c451221;hp=6e5bb4d922910fee54e5357ee41ab9c6226ac567;hpb=d206219b4b193feeebaa25bea70bc8ec153777e5;p=helm.git

diff --git a/matitaB/components/content_pres/box.ml b/matitaB/components/content_pres/box.ml
index 6e5bb4d92..74cc844e6 100644
--- a/matitaB/components/content_pres/box.ml
+++ b/matitaB/components/content_pres/box.ml
@@ -110,7 +110,7 @@ let b_text a b = Text(a,b)
 let b_object b = Object ([],b)
 let b_indent = indent
 let b_space = Space [None, "width", "0.5em"]
-let b_kw = b_text (RenderingAttrs.object_keyword_attributes `BoxML)
+(* let b_kw = b_text (RenderingAttrs.object_keyword_attributes `BoxML) *)
 let b_toggle items = Action ([ None, "type", "toggle"], items)
 
 let pp_attr attr =