tree 60a6029ef116d7a71c8e8b32aa2388f48c48685c
parent 2dcab783cd7a5a4351c50755b3b3de927e70ac38
author Andreas Gampe <agampe@google.com> 1460740156 -0700
committer Andreas Gampe <agampe@google.com> 1460765678 -0700

ART: Fix nits for verifier change

Follow-up to 6659624baadf2285ac5880fd28ffa31767dcae0b.

Bug: 28187158
Change-Id: Ie81aff1cae1ff275faaaf4b858608e74b86d8622