tree 840b6820e272127746ceea625137f93b7d2276cb
parent c69c0acadd5b83b467de24d1b5872daf0ac9cf8a
author Andreas Gampe <agampe@google.com> 1460740156 -0700
committer Andreas Gampe <agampe@google.com> 1460773285 -0700

ART: Fix nits for verifier change

Follow-up to 6659624baadf2285ac5880fd28ffa31767dcae0b.

Bug: 28187158
Change-Id: Ie81aff1cae1ff275faaaf4b858608e74b86d8622
(cherry picked from commit 8f4ade0f05c0203b33e5f421d1e3794ab6075a82)