Why still have kcheck at all? It doesn't work anymore. I just didn't delete
the whole thing because I wasn't sure if Andrei A wanted any of the code.
But the code path is deprecated, so when my change broke this code, I just
commented it out rather than fixing it.


On Thu, May 1, 2014 at 1:26 PM, Radu Mereuta <notifications@github.com>wrote:

> In src/javasources/KTool/src/org/kframework/kcheck/KCheckFrontEnd.java:
>
> > @@ -121,7 +128,6 @@ public static void verbose(CommandLine cmd, Context context) {
> >          //if (GlobalSettings.verbose) {
> >              context.printStatistics();
> >          //}
>
> why still have these commented lines?
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/395/files#r12199596>
> .
>