Okay. Well, please discard the change then if it wasn't intentional. No
point in making changes to a code path that we aren't using anymore.


On Wed, May 7, 2014 at 5:20 PM, Radu Mereuta <notifications@github.com>wrote:

> In include/builtins/int32.k:
>
> >  module INT32
> >
> > -syntax Int32 ::= Token{"[0-9]+i32"}
> > +syntax Int32 ::= Token{"[0-9]+"i32""}
>
> I actually don't know what is this. The last time it was modified by Pat.
> I just found an error in the regular expression and I fixed it.
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/423/files#r12406405>
> .
>