A regex match object's .end() value is already the index after the match, not the index of the last character in the match, so there's no need to add 1 to point past the match. Signed-off-by: Stephen Warren <swarren@nvidia.com>master
parent
83357fd5c2
commit
d8926811fd
Loading…
Reference in new issue