]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/registry/test.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / registry / test.ml
index 644b0f0da35203e734ced7bb5c3c9589cb444a8f..d0b91a28cc1f56f49bf743e5ead452bd4004fe93 100644 (file)
@@ -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);