diff -r 89ced80833ac -r d27956b4d3b4 src/Pure/System/isar.ML
--- a/src/Pure/System/isar.ML	Tue Oct 27 13:15:20 2009 +0100
+++ b/src/Pure/System/isar.ML	Tue Oct 27 13:16:16 2009 +0100
@@ -47,10 +47,10 @@
       | edit n (st, hist) = edit (n - 1) (f st hist);
   in edit count (! global_state, ! global_history) end);
 
-fun state () = NAMED_CRITICAL "Isar" (fn () => ! global_state);
+fun state () = ! global_state;
 
-fun exn () = NAMED_CRITICAL "Isar" (fn () => ! global_exn);
-fun set_exn exn =  NAMED_CRITICAL "Isar" (fn () => global_exn := exn);
+fun exn () = ! global_exn;
+fun set_exn exn =  global_exn := exn;
 
 end;