src/Pure/Concurrent/isabelle_thread.scala

       body
     }
     finally {
       handler = old_handler
       if (clear_interrupt) interrupt
-      Exn.Interrupt.expose()
     }
   }
 }