Re: accessor macro question

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...

--
  Michał