removed no longer used METAs

[helm.git] / helm / ocaml / thread / threadSafe.ml

diff --git a/helm/ocaml/thread/threadSafe.ml b/helm/ocaml/thread/threadSafe.ml
index affeae137922179c262c1ec7377c890182c932a5..afe95337038dda5276b48ab4b4af50c123a20c37 100644 (file)
--- a/helm/ocaml/thread/threadSafe.ml
+++ b/helm/ocaml/thread/threadSafe.ml
@@ -26,6 +26,8 @@
  *  http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 let debug = false
 let debug_print s = if debug then prerr_endline (Lazy.force s)