X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fhbugs%2Fhbugs_misc.ml;fp=helm%2Focaml%2Fhbugs%2Fhbugs_misc.ml;h=32b8e8b4698288990ab50a59c21df25393cdc3f5;hb=aa0d60227b785da3355b31519ba11cb4fbd2c925;hp=b826318e0a05f924eb35f7c61b8570708f1b5d40;hpb=d4246a4c72251a9e9cdd5ddfeed19039f8153877;p=helm.git

diff --git a/helm/ocaml/hbugs/hbugs_misc.ml b/helm/ocaml/hbugs/hbugs_misc.ml
index b826318e0..32b8e8b46 100644
--- 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 =