Merge pull request #8825 from adityamandaleeka/fix_jit_dasm
authorAditya Mandaleeka <adityamandaleeka@users.noreply.github.com>
Fri, 6 Jan 2017 19:26:29 +0000 (11:26 -0800)
committerGitHub <noreply@github.com>
Fri, 6 Jan 2017 19:26:29 +0000 (11:26 -0800)
Fix check for JIT dasm


Trivial merge