src/Pure/ML/ml_compiler.ML

--- a/src/Pure/ML/ml_compiler.ML	Thu Mar 03 14:03:06 2016 +0100
+++ b/src/Pure/ML/ml_compiler.ML	Thu Mar 03 15:23:02 2016 +0100
@@ -268,7 +268,7 @@
       (while not (List.null (! input_buffer)) do
         PolyML.compiler (get, parameters) ())
       handle exn =>
-        if Exn.is_interrupt exn then reraise exn
+        if Exn.is_interrupt exn then Exn.reraise exn
         else
           let
             val exn_msg =