Compilation fix

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

diff --git a/matitaB/components/content_pres/box.ml b/matitaB/components/content_pres/box.ml
index 6e5bb4d922910fee54e5357ee41ab9c6226ac567..74cc844e6fc0b9b2a73a20064717c35002f1326a 100644 (file)
--- 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 =