diff -r f42665561801 -r 81aafd465662 src/Pure/Isar/toplevel.ML
--- a/src/Pure/Isar/toplevel.ML	Sun Jul 29 16:00:06 2007 +0200
+++ b/src/Pure/Isar/toplevel.ML	Sun Jul 29 17:28:55 2007 +0200
@@ -719,7 +719,7 @@
 
 nonfix >> >>>;
 
-fun >> tr = CRITICAL (fn () =>
+fun >> tr = NAMED_CRITICAL "toplevel" (fn () =>
   (case apply true tr (get_state ()) of
     NONE => false
   | SOME (state', exn_info) =>