Fix ALL_INTERIOR_POINTERS name in comments and documentation
authorIvan Maidanski <ivmai@mail.ru>
Fri, 16 Jun 2017 15:16:07 +0000 (18:16 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Fri, 16 Jun 2017 15:17:32 +0000 (18:17 +0300)
commit456d12542f1300113a85e4f2d2c42561b58d7b23
tree09df193a872674735b720f28a3a0805da1c5ff6d
parente30b9bb39c15f90df77a69e37719231d1f7515e8
Fix ALL_INTERIOR_POINTERS name in comments and documentation

* doc/gcdescr.html (Mark phase): Replace ALL_INTERIOR_PTRS with
ALL_INTERIOR_POINTERS.
* doc/tree.html: Likewise.
* include/private/gc_hdrs.h (HC_GET_HDR): Replace GC_all_interior_ptrs
with GC_all_interior_pointers in comment.
doc/gcdescr.html
doc/tree.html
include/private/gc_hdrs.h