severe bug found in parallel zeta

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

diff --git a/matitaB/components/content_pres/box.mli b/matitaB/components/content_pres/box.mli
index e7c2588ebade764d308a39bab3c3a695355a5853..e05839b7185567c158bf0ee0725159c598a4ca7c 100644 (file)
--- a/matitaB/components/content_pres/box.mli
+++ b/matitaB/components/content_pres/box.mli
@@ -63,7 +63,7 @@ val b_text: attr -> string -> 'expr box
 val b_object: 'expr -> 'expr box
 val b_indent: 'expr box -> 'expr box
 val b_space: 'expr box
-val b_kw: string -> 'expr box
+(* val b_kw: string -> 'expr box *)
 val b_toggle: 'expr box list -> 'expr box (** action which toggle among items *)
 
 val pp_attr: attr -> string