summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_info.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_info.ml')
-rw-r--r--ocamldoc/odoc_info.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamldoc/odoc_info.ml b/ocamldoc/odoc_info.ml
index 4eca5fd2f..fa3c585ed 100644
--- a/ocamldoc/odoc_info.ml
+++ b/ocamldoc/odoc_info.ml
@@ -72,6 +72,7 @@ type info = Odoc_types.info = {
i_version : string option;
i_sees : see list;
i_since : string option;
+ i_before : (string * text) list ;
i_deprecated : text option;
i_params : param list;
i_raised_exceptions : raised_exception list;