X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2FmetadataConstraints.ml;h=07fcc738b0b2fee951580106307200b4823f505c;hb=2b2b90087f836c2f32291935216549e9370e68c3;hp=7bc92eb66b136c6c2c8ee6b46f4d42f1ad3469f4;hpb=96bd133b306cdb40314938a394303b294f400101;p=helm.git

diff --git a/helm/ocaml/metadata/metadataConstraints.ml b/helm/ocaml/metadata/metadataConstraints.ml
index 7bc92eb66..07fcc738b 100644
--- a/helm/ocaml/metadata/metadataConstraints.ml
+++ b/helm/ocaml/metadata/metadataConstraints.ml
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 open Printf
 open MetadataTypes