changeset 24058 | 81aafd465662 |
parent 24055 | f7483532537b |
child 24295 | af8dbc7a2305 |
--- 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) =>