tree fff0b8e5aac5b61f05bfb3c183c1ce345bc4d7a5
parent 0dd7ddaa36a2cf37490dc166ebc21818364130a7
author Ian Rogers <irogers@google.com> 1319591610 -0700
committer Ian Rogers <irogers@google.com> 1319601674 -0700

Make unresolved a first class verifier type.

Change-Id: I16631d45c3b2530c72a5751911f72985cb97b177