I see, thanks a lot!

2019年11月13日(水) 15:16 Akim Demaille <[email protected]>:

> Hi Kaneko,
>
> > Le 11 nov. 2019 à 15:27, kaneko y <[email protected]> a écrit :
> >
> > Hi,
> >
> > I think current condition of aver is not intended.
>
> > -        aver (item_number_as_rule_number (rule_i->rhs[length] == i));
> > +        aver (item_number_as_rule_number (rule_i->rhs[length]) == i);
>
> :) :) :)
>
> Indeed, good catch!  Installed, thanks.
>
>

Reply via email to