[nem-en] accessor macro question

[Michal Moskal]

On 5/27/06, Michal Moskal <michal.moskal at gmail.com> wrote:
> On 5/27/06, Michal Moskal <michal.moskal at gmail.com> wrote:
> > On 5/27/06, mei <mei at work.email.ne.jp> wrote:
> > > Bar parameter is different.
> > >
> > > Why?
> >
> > Oops. This is a bug introduced with boogie-integration changes. I
> > guess it is critical and even warrants release...
>
> Oh, and I will get it fixed later today.

It's fixed now (r6346). I've somehow oversaw that this bug was
introduced after 0.9.3, so there will be no bugfix release.

-- 
   Michał