X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fthread%2FextThread.ml;h=d59cccd268c1ed6a1f6efad4dd03abd231daef34;hb=ef3f78973c2fa3151c09681bcdb60107cd73c518;hp=2162251ace5ed834850f26d8fa18fdf01939bc3b;hpb=cfda0acfce3f5e0b843bfe2b7ba7c371e5690db0;p=helm.git

diff --git a/helm/ocaml/thread/extThread.ml b/helm/ocaml/thread/extThread.ml
index 2162251ac..d59cccd26 100644
--- a/helm/ocaml/thread/extThread.ml
+++ b/helm/ocaml/thread/extThread.ml
@@ -26,6 +26,8 @@
  *  http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 let debug = true
 let debug_print s = if debug then prerr_endline (Lazy.force s)