That's fine as long as it follows immediately after this change.


On Thu, May 22, 2014 at 1:27 PM, Andrei Stefanescu <notifications@github.com
> wrote:

> In
> src/javasources/KTool/src/org/kframework/backend/java/symbolic/GroundRewriter.java:
>
> > +
> > +import org.kframework.backend.java.builtins.IntToken;
> > +import org.kframework.backend.java.indexing.RuleIndex;
> > +import org.kframework.backend.java.kil.Cell;
> > +import org.kframework.backend.java.kil.ConstrainedTerm;
> > +import org.kframework.backend.java.kil.Definition;
> > +import org.kframework.backend.java.kil.Rule;
> > +import org.kframework.backend.java.kil.Term;
> > +import org.kframework.backend.java.kil.TermContext;
> > +import org.kframework.backend.java.kil.Variable;
> > +import org.kframework.backend.java.strategies.TransitionCompositeStrategy;
> > +import org.kframework.krun.api.
> SearchType;
> > +
> > +import com.google.common.base.Stopwatch;
> > +
> > +// TODO(YilongL): extract common functionalities with SymbolicRewriter to superclass
>
> We already have another 2 classes that implement similar functionality, so
> I would suggest to merge this change, and then have a separate commit for
> refactoring all 3 classes.
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/321/files#r12965958>
> .
>