X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fthread%2FthreadSafe.ml;h=afe95337038dda5276b48ab4b4af50c123a20c37;hb=f1dc70ca55058b2983cd23b829d856df3b41b9a7;hp=affeae137922179c262c1ec7377c890182c932a5;hpb=cfda0acfce3f5e0b843bfe2b7ba7c371e5690db0;p=helm.git

diff --git a/helm/ocaml/thread/threadSafe.ml b/helm/ocaml/thread/threadSafe.ml
index affeae137..afe953370 100644
--- 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)