tree ae36843a7ab8440f9b56b69ff90b67d114a9c658
parent 591e8c3bb6d5d4cc124f949407cb73c7ca298ff9
author Zhenkai Zhu <zhenkai@cs.ucla.edu> 1348700824 -0700
committer Zhenkai Zhu <zhenkai@cs.ucla.edu> 1348700824 -0700

make one's prefix unique