author | wenzelm |
Fri, 24 Jul 2009 12:32:43 +0200 | |
changeset 32170 | 541b35729992 |
parent 32169 | fbada8ed12e6 |
child 32171 | 220abde9962b |
--- a/src/ZF/Tools/typechk.ML Fri Jul 24 12:00:02 2009 +0200 +++ b/src/ZF/Tools/typechk.ML Fri Jul 24 12:32:43 2009 +0200 @@ -116,7 +116,7 @@ (Method.sections [Args.add -- Args.colon >> K (I, TC_add), Args.del -- Args.colon >> K (I, TC_del)] - >> (K (fn ctxt => SIMPLE_METHOD (CHANGED (typecheck_tac ctxt))))) + >> K (fn ctxt => SIMPLE_METHOD (CHANGED (typecheck_tac ctxt)))) "ZF type-checking"; val _ =