--- a/src/Pure/General/exn.ML Sun Sep 18 17:57:55 2016 +0200
+++ b/src/Pure/General/exn.ML Tue Sep 20 22:29:51 2016 +0200
@@ -85,7 +85,7 @@
(* interrupts *)
-exception Interrupt = SML90.Interrupt;
+exception Interrupt = Thread.Thread.Interrupt;
fun interrupt () = raise Interrupt;