X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fhbugs%2Fhbugs_id_generator.ml;h=5b1998ac2416c7e7f3b6ba0302bd8b78dcfed09d;hb=b1bad322d0daf6c25f95a82c4349f057a753ab7c;hp=f535f473932e01fbb42669d8a8bdcb8a9f4d6926;hpb=a21777bd2ac02fd346f168ead468405e4c300855;p=helm.git

diff --git a/helm/ocaml/hbugs/hbugs_id_generator.ml b/helm/ocaml/hbugs/hbugs_id_generator.ml
index f535f4739..5b1998ac2 100644
--- a/helm/ocaml/hbugs/hbugs_id_generator.ml
+++ b/helm/ocaml/hbugs/hbugs_id_generator.ml
@@ -26,6 +26,8 @@
  *  http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 let _ = Random.self_init ()
 
 let id_length = 32