X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2FmetadataExtractor.ml;h=4fbae1ba76ed43238afdc7cfb51b1d0fd329bf65;hb=2b2b90087f836c2f32291935216549e9370e68c3;hp=50407ac7c923d7ff94116fe5aa98976e38f3f6f5;hpb=a458a3e72fd374b106481a7e98f4000369c6ae61;p=helm.git

diff --git a/helm/ocaml/metadata/metadataExtractor.ml b/helm/ocaml/metadata/metadataExtractor.ml
index 50407ac7c..4fbae1ba7 100644
--- a/helm/ocaml/metadata/metadataExtractor.ml
+++ b/helm/ocaml/metadata/metadataExtractor.ml
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 open Printf
 
 open MetadataTypes