Looks good.


On Fri, Mar 7, 2014 at 3:28 PM, Owolabi Legunsen
<notifications@github.com>wrote:

> In
> src/javasources/KTool/src/org/kframework/backend/java/indexing/IndexingTable.java:
>
> > +    public IndexingTable(Definition definition) {
> > +        this.definition = definition;
> > +        buildBasicIndex();
> > +    }
> > +
> > +    private void buildBasicIndex() {
> > +
> > +        /* populate the table of rules rewriting the top configuration */
> > +        List<Index> indices = new ArrayList<Index>();
> > +        indices.add(TopIndex.TOP);
> > +        indices.add(BottomIndex.BOTTOM);
> > +        for (KLabelConstant kLabel : definition.kLabels()) {
> > +            indices.add(new KLabelIndex(kLabel));
> > +            indices.add(new FreezerIndex(kLabel, -1));
> > +            if (!kLabel.productions().isEmpty()) {
> > +                for (int i = 0; i < kLabel.productions().get(0).getArity(); ++i) {
>
> Fixed. @andreistefanescu <https://github.com/andreistefanescu> please
> take a look.
>
> --
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/271/files#r10400946>
> .
>