Re: accessor macro question

Hi,

check out r6347 and work fine.

Thanks!

Michal Moskal wrote:
> 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.
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> https://nemerle.org/mailman/listinfo/devel-en


-- 
mei <mei@xxxxxxxxxxxxxxxx>