summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_parser.mly
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_parser.mly')
-rw-r--r--ocamldoc/odoc_parser.mly2
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