diff -r 5c9dbd511510 -r 5a07cc86675d src/Pure/ML-Systems/smlnj.ML
--- a/src/Pure/ML-Systems/smlnj.ML	Thu Jun 04 17:31:37 2009 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML	Thu Jun 04 17:31:38 2009 +0200
@@ -4,6 +4,7 @@
 *)
 
 exception Interrupt;
+fun reraise exn = raise exn;
 
 use "ML-Systems/proper_int.ML";
 use "ML-Systems/overloading_smlnj.ML";