src/Pure/Isar/attrib.ML
changeset 35979 12bb31230550
parent 35625 9c818cab0dd0
child 35998 6b8f789554ae
     1.1 --- a/src/Pure/Isar/attrib.ML	Fri Mar 26 20:30:03 2010 +0100
     1.2 +++ b/src/Pure/Isar/attrib.ML	Fri Mar 26 23:46:22 2010 +0100
     1.3 @@ -396,6 +396,8 @@
     1.4    register_config Unify.search_bound_value #>
     1.5    register_config Unify.trace_simp_value #>
     1.6    register_config Unify.trace_types_value #>
     1.7 -  register_config MetaSimplifier.simp_depth_limit_value));
     1.8 +  register_config MetaSimplifier.simp_depth_limit_value #>
     1.9 +  register_config MetaSimplifier.debug_simp_value #>
    1.10 +  register_config MetaSimplifier.trace_simp_value));
    1.11  
    1.12  end;