tree 095e5e428f040e67dbdc0d08ec24fccef41b3d25
parent 59ffd06f15a81012acee75452336f31acedb31ee
author Florian Loitsch <floitsch@google.com> 1482493191 +0100
committer Florian Loitsch <floitsch@google.com> 1482493191 +0100

Fix type warning.

Review-Url: https://codereview.chromium.org/2597303003 .