summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_comments_global.mli
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_comments_global.mli')
-rw-r--r--ocamldoc/odoc_comments_global.mli3
1 files changed, 3 insertions, 0 deletions
diff --git a/ocamldoc/odoc_comments_global.mli b/ocamldoc/odoc_comments_global.mli
index 9e0474676..e9efbffc5 100644
--- a/ocamldoc/odoc_comments_global.mli
+++ b/ocamldoc/odoc_comments_global.mli
@@ -28,6 +28,9 @@ val sees : string list ref
(** the since string *)
val since : string option ref
+(** the before tag information *)
+val before : (string * string) list ref
+
(** the deprecated flag *)
val deprecated : string option ref