diff options
Diffstat (limited to 'ocamldoc/odoc_parser.mly')
-rw-r--r-- | ocamldoc/odoc_parser.mly | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ocamldoc/odoc_parser.mly b/ocamldoc/odoc_parser.mly index 13e111101..9b99e24f0 100644 --- a/ocamldoc/odoc_parser.mly +++ b/ocamldoc/odoc_parser.mly @@ -10,6 +10,8 @@ (* *) (***********************************************************************) +(* $Id$ *) + open Odoc_types open Odoc_comments_global |