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