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