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