tree e697bad50f1d1372c830f169c9a51d15362fbf82
parent 3290b8e6dc1880eb49a800a4683b925e18f455dc
author Zhenkai Zhu <zhenkai@cs.ucla.edu> 1359077851 -0800
committer Zhenkai Zhu <zhenkai@cs.ucla.edu> 1359077851 -0800

small correction in sync-core