Fix the bug of incorrectly setting the end of forest nodes

Previously when generating a fragment of the forest corresponding to
the expansion of a non-terminal by a terminal, we incorrectly set the
end of every node within it to be one plus the start, if the expansion
happens due to a reduction.

Now this mistake is fixed and the ending positions are correctly set.

0 files changed, 0 insertions, 0 deletions