--- a/src/Pure/Isar/attrib.ML Tue Mar 25 16:11:00 2014 +0100
+++ b/src/Pure/Isar/attrib.ML Tue Mar 25 16:54:38 2014 +0100
@@ -457,7 +457,7 @@
register_config Name_Space.names_long_raw #>
register_config Name_Space.names_short_raw #>
register_config Name_Space.names_unique_raw #>
- register_config ML_Context.trace_raw #>
+ register_config ML_Context.source_trace_raw #>
register_config Runtime.exception_trace_raw #>
register_config Proof_Context.show_abbrevs_raw #>
register_config Goal_Display.goals_limit_raw #>