src/Pure/ML/exn_debugger.ML

--- a/src/Pure/ML/exn_debugger.ML	Wed Apr 06 16:51:52 2016 +0200
+++ b/src/Pure/ML/exn_debugger.ML	Wed Apr 06 17:16:30 2016 +0200
@@ -42,7 +42,7 @@
 in
 
 fun capture_exception_trace e =
-  uninterruptible (fn restore_attributes => fn () =>
+  Multithreading.uninterruptible (fn restore_attributes => fn () =>
     let
       val _ = start_trace ();
       val result = Exn.interruptible_capture (restore_attributes e) ();