Hello,

I like to swap the order, so adaptive.start goes first.
Though I'm not sure the default value for adaptive.start
is 50000, I think it's 60000. Or do I miss something?

> -.It Cm adaptive.start Pq 120000 states by default
> +.It Cm adaptive.start Pq 50000 states by default
                        ^^^^^^^^^^
    I believe there should be 60000.

otherwise looks good.

thanks and
regards
sashan

Reply via email to