fix a bug brought by previous commit

commit dfe0a97 brought some new problem, this commit fix that
pull/4438/head
Yuguo Zou 2017-03-30 19:38:22 +08:00 committed by Martin Kojtal
parent 3736313c39
commit 074dd9f9fd
2 changed files with 0 additions and 0 deletions