Oh, no, thanks. I will remove it tomorrow.
On May 14, 2014 5:45 PM, "Andrei Stefanescu" <notifications@github.com>
wrote:

> In
> src/javasources/KTool/src/org/kframework/compile/transformers/DesugarStreams.java:
>
> > @@ -16,12 +16,11 @@
> >      ArrayList<String> channels = new ArrayList<String>();
> >      boolean newList;
>
> Is this field still used?
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/449/files#r12666161>
> .
>