Oh, it's not. I merged master into unified builtins2 and accidentally broke
the branch. I had to commit an unreviewed fix amounting to this exact patch
hunk. You can ignore this, it will get taken care of by the time I fix the
broken tests in this pull request.


On Fri, May 23, 2014 at 11:49 AM, Radu Mereuta <notifications@github.com>wrote:

> In tests/regression/config.xml:
>
> > @@ -344,9 +333,9 @@
> >    </test>
> >
> >  <test
> > -      definition="tests/regression/issue#428/test.k"
> > -      programs="tests/regression/issue#428"
> > -      results="tests/regression/issue#428"
> > +      definition="issue#428/test.k"
>
> Why is this part of this change?
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/497/files#r13008062>
> .
>