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