src/Pure/ML-Systems/smlnj-interrupt-timeout.ML

--- a/src/Pure/ML-Systems/smlnj-interrupt-timeout.ML	Thu Jan 26 20:17:54 2006 +0100
+++ b/src/Pure/ML-Systems/smlnj-interrupt-timeout.ML	Thu Jan 26 20:42:15 2006 +0100
@@ -8,4 +8,4 @@
 
 fun interrupt_timeout time f x =
   TimeLimit.timeLimit time f x
-    handle TimeLimit.TimeOut => raise SML90.Interrupt;
+    handle TimeLimit.TimeOut => raise Interrupt;