Re: accessor macro question

On 5/27/06, Michal Moskal <michal.moskal@xxxxxxxxx> wrote:
> On 5/27/06, mei <mei@xxxxxxxxxxxxxxxx> 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.

--
  Michał