| commit | c24e95e3d6a5627e71e4009ab3075dff2cf99d8b | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Fri May 12 18:07:32 2017 +0200 |
| committer | Benno Schulenberg <bensberg@telfort.nl> | Tue Nov 21 21:14:33 2017 +0100 |
| tree | c74ffd1ced4fc5e78ed6750dfff20adabdfdd490 | |
| parent | c42489d946a18206ea46fe1d6e13dfd86906792d [diff] |
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.