diff -r f14f17e656a6 -r 9e2a65912111 src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Thu Mar 03 14:03:06 2016 +0100
+++ b/src/Pure/System/isabelle_process.ML	Thu Mar 03 15:23:02 2016 +0100
@@ -188,7 +188,7 @@
 val init = uninterruptible (fn _ => fn socket =>
   let
     val _ = SHA1_Samples.test ()
-      handle exn as Fail msg => (Output.physical_stderr (msg ^ "\n"); reraise exn);
+      handle exn as Fail msg => (Output.physical_stderr (msg ^ "\n"); Exn.reraise exn);
     val _ = Output.physical_stderr Symbol.STX;
 
     val _ = Printer.show_markup_default := true;