Make it a final class
On Mar 28, 2014 12:32 PM, "Radu Mereuta" <notifications@github.com> wrote:

> In src/javasources/KTool/src/org/kframework/parser/concrete2/Grammar.java:
>
> > +            if (o == null || getClass() != o.getClass()) return false;
> > +
> > +            StateId stateId = (StateId) o;
> > +
> > +            if (!name.equals(stateId.name)) return false;
> > +
> > +            return true;
> > +        }
> > +
> > +        @Override
> > +        public int hashCode() {
> > +            return name.hashCode();
> > +        }
> > +    }
> > +
> > +    public static class NonTerminalId implements Comparable<NonTerminalId>, Serializable {
>
> what do you mean by final?
>
> --
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/318/files#r11076463>
> .
>