tree c74ffd1ced4fc5e78ed6750dfff20adabdfdd490
parent c42489d946a18206ea46fe1d6e13dfd86906792d
author Benno Schulenberg <bensberg@justemail.net> 1494605252 +0200
committer Benno Schulenberg <bensberg@telfort.nl> 1511295273 +0100

tweaks: elide the 'mark_set' boolean -- the 'mark' pointer is enough

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.