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