src/Pure/ML-Systems/polyml.ML

 fun reraise exn =
   (case PolyML.exceptionLocation exn of
     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
         NONE => ("", 0, 0)
       | SOME {file, startLine, endLine, startPosition, ...} => (file, startLine, endLine));