]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/lexicon/lexiconEngine.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / lexicon / lexiconEngine.ml
index 752dabb71d26b52c6ecf96449bad411b4227381d..d85ed51d896424f93591ed60a5446f8b1ab5f081 100644 (file)
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 exception IncludedFileNotCompiled of string (* file name *)
 exception MetadataNotFound of string        (* file name *)