src/Pure/ML-Systems/polyml.ML

--- a/src/Pure/ML-Systems/polyml.ML	Tue Jan 15 20:51:30 2013 +0100
+++ b/src/Pure/ML-Systems/polyml.ML	Wed Jan 16 11:25:26 2013 +0100
@@ -11,7 +11,7 @@
     NONE => raise exn
   | SOME location => PolyML.raiseWithLocation (exn, location));
 
-fun set_exn_serial i exn =
+fun set_exn_serial i exn = (*requires uninterruptible*)
   let
     val (file, startLine, endLine) =
       (case PolyML.exceptionLocation exn of