Marius Wachtler authored Oct 06, 2016 and Boxiang Sun committed Oct 20, 2016

we don't need it anymore now that we eliminated nearly all pointers to nodes.