tree c5d6de40e988c1d92f51639243443b225e45808f
parent 782d0464ddc92fd5d55a330068d2d255336c16ba
author Andreas Gampe <agampe@google.com> 1458950280 -0700
committer Andreas Gampe <agampe@google.com> 1459205467 -0700

ART: Clean up verifier

Clean up verifier post-Quick.

Change-Id: I0b05e10dd06edd228fe2068c8afffc4b7d7fdffa