Added $Id$ to every .ml file.

[helm.git] / helm / ocaml / hbugs / hbugs_misc.ml

diff --git a/helm/ocaml/hbugs/hbugs_misc.ml b/helm/ocaml/hbugs/hbugs_misc.ml
index b826318e0a05f924eb35f7c61b8570708f1b5d40..32b8e8b4698288990ab50a59c21df25393cdc3f5 100644 (file)
--- a/helm/ocaml/hbugs/hbugs_misc.ml
+++ b/helm/ocaml/hbugs/hbugs_misc.ml
@@ -26,6 +26,8 @@
  *  http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 open Printf;;
 
 let rec hashtbl_remove_all tbl key =