| commit | eb31113ad46fbf31ca8a0b3ebe94310be9bb20d4 | [log] [tgz] |
|---|---|---|
| author | jeffhao <jeffhao@google.com> | Thu Aug 02 18:29:08 2012 -0700 |
| committer | jeffhao <jeffhao@google.com> | Fri Aug 03 17:50:26 2012 -0700 |
| tree | 088be876eae06547d35e331da3de21ca38bbd9d6 | |
| parent | 259487a86ea29c840d586610f099e8177aab3f40 [diff] |
Primitive type mismatches are now hard failures in the verifier. Change-Id: Ib2e9e4acc5096d5ad42f579c936176a461e71cfd