tree 10cf71e0dd37cf7a7bcab1042da82edd309bfb6a
parent 349388935bb0a7f6067bbf2a6120b85481d9444b
author Chaoyi Bian <bcy@pku.edu.cn> 1339632907 -0700
committer Chaoyi Bian <bcy@pku.edu.cn> 1339632907 -0700

eliminate unused parameter warning