Gosh, far be it from me to ask you to program things you need...
On Mar 12, 2014 4:31 PM, "mdmkolbe" <notifications@github.com> wrote:

> In src/javasources/KTool/src/org/kframework/parser/concrete2/Grammar.java:
>
> >              if (this instanceof ExitState) {
> > -                return new HashSet<KList>(Arrays.asList(new KList(Arrays.asList((Term)new Ambiguity("K", new ArrayList<Term>(input))))));
> > +                return new HashSet<KList>(Arrays.asList(new KList(Arrays.asList((Term)new Ambiguity("K", new ArrayList<Term>(result))))));
>
> If KList and Ambiguity had "of" methods, we could certainly use them.
> Currently they don't.
>
> --
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/282/files#r10542193>
> .
>