diff -r fbb3c68a8d3c -r 4f9f61f9b535 src/Pure/Isar/attrib.ML
--- a/src/Pure/Isar/attrib.ML	Fri Feb 17 11:24:39 2012 +0100
+++ b/src/Pure/Isar/attrib.ML	Fri Feb 17 15:42:26 2012 +0100
@@ -503,7 +503,7 @@
   register_config Printer.show_types_raw #>
   register_config Printer.show_structs_raw #>
   register_config Printer.show_question_marks_raw #>
-  register_config Syntax.ambiguity_raw #>
+  register_config Syntax.ambiguity_warning_raw #>
   register_config Syntax.ambiguity_limit_raw #>
   register_config Syntax_Trans.eta_contract_raw #>
   register_config Name_Space.names_long_raw #>