src/Pure/Isar/runtime.ML

--- a/src/Pure/Isar/runtime.ML	Fri Aug 19 12:03:44 2011 +0200
+++ b/src/Pure/Isar/runtime.ML	Fri Aug 19 12:51:14 2011 +0200
@@ -119,7 +119,7 @@
   else f x;
 
 fun controlled_execution f x =
-  ((f |> debugging |> Future.interruptible_task) x before Multithreading.interrupted ());
+  (f |> debugging |> Future.interruptible_task) x;
 
 fun toplevel_error output_exn f x = f x
   handle exn =>