Merge pull request #678 from whentze/master
authorClifford Wolf <clifford@clifford.at>
Thu, 25 Oct 2018 11:23:26 +0000 (13:23 +0200)
committerGitHub <noreply@github.com>
Thu, 25 Oct 2018 11:23:26 +0000 (13:23 +0200)
Fix unhandled std::out_of_range in run_frontend() due to integer underflow


Trivial merge