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