]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/thread/extThread.ml
ocaml 3.09 transition
[helm.git] / helm / ocaml / thread / extThread.ml
index 1b34e09c7e5c9cef1177e3de86a90f2ce11b1483..2162251ace5ed834850f26d8fa18fdf01939bc3b 100644 (file)
@@ -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 ()
       | _ -> ())))