tree 0d23f6883814e62b8342b0b86fb8aaf9b1e3cdf9
parent 84fa0742469b05bf9bea71eac9c07d7d30d448c4
author Ian Rogers <irogers@google.com> 1319610535 -0700
committer Ian Rogers <irogers@google.com> 1319610901 -0700

Various verifier fixes.

Change-Id: Ia73e9f8500c32ec8924afe1099d172bd00fdecbf