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

diff --git a/helm/ocaml/thread/extThread.ml b/helm/ocaml/thread/extThread.ml
index 1b34e09c7..d59cccd26 100644
--- a/helm/ocaml/thread/extThread.ml
+++ b/helm/ocaml/thread/extThread.ml
@@ -26,8 +26,10 @@
  *  http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 let debug = true
-let debug_print s = if debug then prerr_endline s
+let debug_print s = if debug then prerr_endline (Lazy.force s)
 
 exception Can_t_kill of Thread.t * string (* thread, reason *)
 exception Thread_not_found of Thread.t
@@ -99,7 +101,7 @@ let _ =
       | sg when (sg = kill_signal) &&
                 (PidSet.mem myself !dead_threads_walking) ->
           dead_threads_walking := PidSet.remove myself !dead_threads_walking;
-          debug_print "AYEEEEH!";
+          debug_print (lazy "AYEEEEH!");
           Thread.exit ()
       | _ -> ())))