1.1 --- a/src/Pure/Concurrent/simple_thread.ML	Wed Sep 11 11:08:48 2013 +0200
     1.2 +++ b/src/Pure/Concurrent/simple_thread.ML	Wed Sep 11 11:34:27 2013 +0200
     1.3 @@ -25,7 +25,7 @@
     1.4  fun fork interrupts body =
     1.5    Thread.fork (fn () =>
     1.6      exception_trace (fn () =>
     1.7 -      body () handle exn => if Exn.is_interrupt exn then () else reraise exn),
     1.8 +      body () handle exn => if Exn.is_interrupt exn then () (*sic!*) else reraise exn),
     1.9      attributes interrupts);
    1.10  
    1.11  fun join thread =