Owolabi, it's his change.
On Mar 7, 2014 8:20 AM, "Andrei Stefanescu" <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) {
>
> Do you mean me or Owolabi?
>
> --
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/271/files#r10388288>
> .
>