X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgrafite_parser%2FgrafiteDisambiguator.ml;h=d05351cd240630587b08d9f179017c859e3e949a;hb=782253ebe87375f52c07899c1501db5a665a457f;hp=5258a4963631a5662797d6f6b0ac1137534c882d;hpb=827e35d6058ebba3a4a4fa6eb3c160f0cd0fd1e8;p=helm.git

diff --git a/helm/ocaml/grafite_parser/grafiteDisambiguator.ml b/helm/ocaml/grafite_parser/grafiteDisambiguator.ml
index 5258a4963..d05351cd2 100644
--- a/helm/ocaml/grafite_parser/grafiteDisambiguator.ml
+++ b/helm/ocaml/grafite_parser/grafiteDisambiguator.ml
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 open Printf
 
 exception Ambiguous_input