-
Benno Schulenberg authored
The pointer not being NULL is enough indication that the mark is set. Also, rename the pointer from 'mark_begin' to simply 'mark', since the former is kind of pleonastic.
c24e95e3
The pointer not being NULL is enough indication that the mark is set. Also, rename the pointer from 'mark_begin' to simply 'mark', since the former is kind of pleonastic.