Martin Vermeer wrote:
> -       if (start == end || !par_.isChanged(start, end - 1))
> +       if (start == end || !par_.isChanged(start, end))

Are you sure this is the right patch?

Jürgen

Reply via email to