src/ZF/Tools/typechk.ML
changeset 42795 66fcc9882784
parent 42439 9efdd0af15ac
child 43596 78211f66cf8d
     1.1 --- a/src/ZF/Tools/typechk.ML	Fri May 13 23:24:06 2011 +0200
     1.2 +++ b/src/ZF/Tools/typechk.ML	Fri May 13 23:58:40 2011 +0200
     1.3 @@ -130,6 +130,6 @@
     1.4  val setup =
     1.5    Attrib.setup @{binding TC} (Attrib.add_del TC_add TC_del) "declaration of type-checking rule" #>
     1.6    typecheck_setup #>
     1.7 -  Simplifier.map_simpset (fn ss => ss setSolver type_solver);
     1.8 +  Simplifier.map_simpset_global (fn ss => ss setSolver type_solver);
     1.9  
    1.10  end;