Merge pull request #14424 from noahfalk/fix_14423
authorNoah Falk <noahfalk@users.noreply.github.com>
Wed, 11 Oct 2017 21:06:31 +0000 (14:06 -0700)
committerGitHub <noreply@github.com>
Wed, 11 Oct 2017 21:06:31 +0000 (14:06 -0700)
Fix #14423

1  2 
src/vm/jitinterface.cpp

Simple merge