Fix gc_allocator.h file name in new_gc_alloc.h comment
authorIvan Maidanski <ivmai@mail.ru>
Wed, 11 Jan 2017 21:26:25 +0000 (00:26 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Wed, 11 Jan 2017 21:30:39 +0000 (00:30 +0300)
commit4dc54ec4551454ab0fe8ac6b551c84f31238be36
tree1742464465c8df5a0dc8b64259a3856102c2580e
parentcfbe4a90242dc8f27fdf62733b74edc8e99abe51
Fix gc_allocator.h file name in new_gc_alloc.h comment

* include/new_gc_alloc.h: Rename gc_alloc.h to gc_allocator.h in comment;
refine the comment about the STL alloc header.
include/new_gc_alloc.h