tree d4d61036a90c5ed5eb007276cce68fe6d3a4c2f4
parent 9501b8b602e6710c44ab1f38f652428e75c75087
author Zhenkai Zhu <zhenkai@cs.ucla.edu> 1358458177 -0800
committer Zhenkai Zhu <zhenkai@cs.ucla.edu> 1358458177 -0800

passing synclog and scheduler as parameter to synccore