tree ce78afe7c842c8ff99d52c0a09bfe758d67d037f
parent cfb21d92796087963c092b69110a2e7ff7a03a55
author jeffhao <jeffhao@google.com> 1346368660 -0700
committer jeffhao <jeffhao@google.com> 1346435346 -0700

Remove the THROW_VERIFICATION_ERROR op and supporting code.

Change-Id: Idc40a2c379048c7e3d74f50b2bd765a507a417ce