src/Pure/Concurrent/simple_thread.ML
changeset 59055 5a7157b8e870
parent 59054 61b723761dff
child 59468 fe6651760643
     1.1 --- a/src/Pure/Concurrent/simple_thread.ML	Wed Nov 26 11:43:51 2014 +0100
     1.2 +++ b/src/Pure/Concurrent/simple_thread.ML	Wed Nov 26 14:35:55 2014 +0100
     1.3 @@ -23,7 +23,7 @@
     1.4  
     1.5  fun fork interrupts body =
     1.6    Thread.fork (fn () =>
     1.7 -    print_exception_trace General.exnMessage (fn () =>
     1.8 +    print_exception_trace General.exnMessage tracing (fn () =>
     1.9        body () handle exn => if Exn.is_interrupt exn then () (*sic!*) else reraise exn),
    1.10      attributes interrupts);
    1.11