On Sep 7, 2013, at 12:27 PM, Marc Glisse <marc.gli...@inria.fr> wrote:
> Now flag_check_new should probably disable this optimization…

Yes, this why my point.

Reply via email to