diff options
Diffstat (limited to 'ocamldoc/odoc_comments_global.ml')
| -rw-r--r-- | ocamldoc/odoc_comments_global.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ocamldoc/odoc_comments_global.ml b/ocamldoc/odoc_comments_global.ml index 86663d58c..a4366ceb7 100644 --- a/ocamldoc/odoc_comments_global.ml +++ b/ocamldoc/odoc_comments_global.ml @@ -23,6 +23,8 @@ let sees = ref ([] : string list) let since = ref (None : string option) +let before = ref [] + let deprecated = ref (None : string option) let params = ref ([] : (string * string) list) @@ -39,6 +41,7 @@ let init () = version := None; sees := []; since := None; + before := []; deprecated := None; params := []; raised_exceptions := []; |