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

diff --git a/helm/ocaml/thread/extThread.ml b/helm/ocaml/thread/extThread.ml
index 1b34e09c7..2162251ac 100644
--- a/helm/ocaml/thread/extThread.ml
+++ b/helm/ocaml/thread/extThread.ml
@@ -27,7 +27,7 @@
  *)
 
 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 +99,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 ()
       | _ -> ())))