Added $Id$ to every .ml file.

[helm.git] / helm / ocaml / cic_disambiguation / number_notation.ml

diff --git a/helm/ocaml/cic_disambiguation/number_notation.ml b/helm/ocaml/cic_disambiguation/number_notation.ml
index 05800ffac70257cda61bf61225fae7fb677254f1..2b3ce2d601a351ae4bc81628afb6b58e9c049792 100644 (file)
--- a/helm/ocaml/cic_disambiguation/number_notation.ml
+++ b/helm/ocaml/cic_disambiguation/number_notation.ml
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 let _ =
   DisambiguateChoices.add_num_choice
     ("natural number",