]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/hbugs/hbugs_id_generator.ml
Added $Id$ to every .ml file.
[helm.git] / helm / ocaml / hbugs / hbugs_id_generator.ml
index f535f473932e01fbb42669d8a8bdcb8a9f4d6926..5b1998ac2416c7e7f3b6ba0302bd8b78dcfed09d 100644 (file)
@@ -26,6 +26,8 @@
  *  http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 let _ = Random.self_init ()
 
 let id_length = 32