Fix linting error.

This commit is contained in:
Michael Teeuw 2019-02-14 13:50:16 +01:00
parent 77d14bc218
commit 4a97052708