src/ZF/Tools/typechk.ML
changeset 32170 541b35729992
parent 32091 30e2ffbba718
child 33519 e31a85f92ce9
     1.1 --- a/src/ZF/Tools/typechk.ML	Fri Jul 24 12:00:02 2009 +0200
     1.2 +++ b/src/ZF/Tools/typechk.ML	Fri Jul 24 12:32:43 2009 +0200
     1.3 @@ -116,7 +116,7 @@
     1.4      (Method.sections
     1.5        [Args.add -- Args.colon >> K (I, TC_add),
     1.6         Args.del -- Args.colon >> K (I, TC_del)]
     1.7 -      >> (K (fn ctxt => SIMPLE_METHOD (CHANGED (typecheck_tac ctxt)))))
     1.8 +      >> K (fn ctxt => SIMPLE_METHOD (CHANGED (typecheck_tac ctxt))))
     1.9      "ZF type-checking";
    1.10  
    1.11  val _ =