return false;
}
// if pos_end is 0, this means it is end-of-paragraph
- pos_type const s = dit.paragraph().size();
+ pos_type const s = dit.lastpos();
pos_type const end = err.pos_end ? min(err.pos_end, s) : s;
pos_type const start = min(err.pos_start, end);
pos_type const range = end == start ? s - start : end - start;