Added $Id$ to every .ml file.

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

diff --git a/helm/ocaml/thread/extThread.ml b/helm/ocaml/thread/extThread.ml
index 2162251ace5ed834850f26d8fa18fdf01939bc3b..d59cccd268c1ed6a1f6efad4dd03abd231daef34 100644 (file)
--- 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)