src/Pure/ML-Systems/smlnj.ML

--- a/src/Pure/ML-Systems/smlnj.ML	Thu Sep 09 11:05:52 2010 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML	Thu Sep 09 17:20:27 2010 +0200
@@ -142,7 +142,7 @@
 
 fun interruptible (f: 'a -> 'b) x =
   let
-    val result = ref (Exn.Exn Interrupt: 'b Exn.result);
+    val result = ref (Exn.interrupt_exn: 'b Exn.result);
     val old_handler = Signals.inqHandler Signals.sigINT;
   in
     SMLofNJ.Cont.callcc (fn cont =>
@@ -165,7 +165,7 @@
 struct
   open TextIO;
   fun inputLine is = TextIO.inputLine is
-    handle IO.Io _ => raise Interrupt;
+    handle IO.Io _ => Exn.interrupt ();
 end;