tree e25e4df59858d1ec7ec3e57e08243692bdd03220
parent 09bebcb1de0fea76be8653bed427712fb615a610
author John MacFarlane <jgm@berkeley.edu> 1436971413 -0700
committer John MacFarlane <jgm@berkeley.edu> 1436971413 -0700

Use full CMARK_NODE_x instead of NODE_x alias.