See my reply
On Mar 28, 2014 6:23 PM, "Radu Mereuta" <notifications@github.com> wrote:

> In src/javasources/KTool/src/org/kframework/parser/concrete2/Grammar.java:
>
> > +            @Override
> > +            public boolean add(State s) {
> > +                assert s.nt == NextableState.this.nt :
> > +                    "States " + NextableState.this.stateId.name + " and " +
> > +                        s.stateId.name + " are not in the same NonTerminal.";
> > +                return super.add(s);
> > +            }
> > +        };
> > +        NextableState(StateId stateId, NonTerminal nt, boolean intermediary) {
> > +            super(stateId, nt);
> > +            if (intermediary) { nt.intermediaryStates.add(this); }
> > +        }
> > +    }
> > +
> > +    public static class EntryState extends NextableState {
> > +        public EntryState(StateId stateId, NonTerminal nt) {
>
> Public is ok, see above.
>
> --
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/318/files#r11089704>
> .
>