diff -r 620db300c038 -r 046f4f986fb5 src/Pure/Isar/toplevel.ML
--- a/src/Pure/Isar/toplevel.ML	Sat Mar 21 12:37:13 2009 +0100
+++ b/src/Pure/Isar/toplevel.ML	Sat Mar 21 13:11:12 2009 +0100
@@ -311,7 +311,7 @@
 fun controlled_execution f =
   f
   |> debugging
-  |> interruptible;
+  |> Future.interruptible_task;
 
 fun program f =
  (f