tree 8b3a18bd675f4d4071b24660ff6410a7ac425737
parent 9943bdad9427cd9592bf4fa111dd1d0a80a6b32e
author Zhenkai Zhu <zhenkai@cs.ucla.edu> 1357251048 -0800
committer Zhenkai Zhu <zhenkai@cs.ucla.edu> 1357251048 -0800

use Name everywhere