X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_disambiguation%2Fnumber_notation.ml;h=2b3ce2d601a351ae4bc81628afb6b58e9c049792;hb=acd31bfb9537bd32781404241c80bd0ebf88e3b1;hp=05800ffac70257cda61bf61225fae7fb677254f1;hpb=afa05d30f20de12e031c3e5c3e5c33c19c42a7d8;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/number_notation.ml b/helm/ocaml/cic_disambiguation/number_notation.ml
index 05800ffac..2b3ce2d60 100644
--- 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",