| changeset 41183 | e20f0d0e2af3 |
| parent 40879 | ca132ef44944 |
| child 41228 | e1fce873b814 |
--- a/src/Pure/Isar/attrib.ML Wed Dec 15 19:15:06 2010 -0800 +++ b/src/Pure/Isar/attrib.ML Thu Dec 16 09:10:38 2010 +0100 @@ -416,6 +416,7 @@ register_config Unify.trace_simp_raw #> register_config Unify.trace_types_raw #> register_config MetaSimplifier.simp_depth_limit_raw #> + register_config MetaSimplifier.simp_trace_depth_limit_raw #> register_config MetaSimplifier.simp_debug_raw #> register_config MetaSimplifier.simp_trace_raw));