X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fregistry%2Ftest.ml;h=d0b91a28cc1f56f49bf743e5ead452bd4004fe93;hb=b67ea513f11d1ef3d9fd228c64913561424662e2;hp=644b0f0da35203e734ced7bb5c3c9589cb444a8f;hpb=dfdf5642131761008f0b0430594a83d45ab62789;p=helm.git

diff --git a/helm/ocaml/registry/test.ml b/helm/ocaml/registry/test.ml
index 644b0f0da..d0b91a28c 100644
--- a/helm/ocaml/registry/test.ml
+++ b/helm/ocaml/registry/test.ml
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 open Printf;;
 Helm_registry.load_from Sys.argv.(1);
 Helm_registry.iter ~interpolate:false (fun k v -> printf "%s = %s\n" k v);