Merge pull request #1491 from DennisOSRM/patch-1
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Wed, 12 Sep 2018 15:02:08 +0000 (09:02 -0600)
committerGitHub <noreply@github.com>
Wed, 12 Sep 2018 15:02:08 +0000 (09:02 -0600)
Fix compiler warning emitted from GCC8


Trivial merge