| changeset 40878 | 7695e4de4d86 |
| parent 40291 | 012ed4426fda |
| child 40879 | ca132ef44944 |
--- a/src/Pure/Isar/attrib.ML Thu Dec 02 15:37:32 2010 +0100 +++ b/src/Pure/Isar/attrib.ML Thu Dec 02 16:04:22 2010 +0100 @@ -415,7 +415,7 @@ register_config Unify.trace_simp_raw #> register_config Unify.trace_types_raw #> register_config MetaSimplifier.simp_depth_limit_raw #> - register_config MetaSimplifier.debug_simp_raw #> - register_config MetaSimplifier.trace_simp_raw)); + register_config MetaSimplifier.simp_debug_raw #> + register_config MetaSimplifier.simp_trace_raw)); end;