Added $Id$ to every .ml file.

[helm.git] / helm / ocaml / acic_content / acic2content.ml

diff --git a/helm/ocaml/acic_content/acic2content.ml b/helm/ocaml/acic_content/acic2content.ml
index 72699f7e3cb2b584da6617a278a1b1f611945abd..8f3b13cfda82beef7f3ae2bcbc199965ab792b19 100644 (file)
--- a/helm/ocaml/acic_content/acic2content.ml
+++ b/helm/ocaml/acic_content/acic2content.ml
@@ -32,6 +32,8 @@
 (*                                                                        *)
 (**************************************************************************)
 
+(* $Id$ *)
+
 let object_prefix = "obj:";;
 let declaration_prefix = "decl:";;
 let definition_prefix = "def:";;