--- a/src/Pure/Isar/outer_keyword.ML Tue Oct 27 13:15:20 2009 +0100
+++ b/src/Pure/Isar/outer_keyword.ML Tue Oct 27 13:16:16 2009 +0100
@@ -121,8 +121,8 @@
in
-fun get_commands () = CRITICAL (fn () => ! global_commands);
-fun get_lexicons () = CRITICAL (fn () => ! global_lexicons);
+fun get_commands () = ! global_commands;
+fun get_lexicons () = ! global_lexicons;
fun change_commands f = CRITICAL (fn () => Unsynchronized.change global_commands f);
fun change_lexicons f = CRITICAL (fn () => Unsynchronized.change global_lexicons f);