commit | 3bb324638853f5a2f25d64cb81a39cce1f3d9b1f | [log] [tgz] |
---|---|---|
author | jeffhao <jeffhao@google.com> | Wed Feb 01 16:12:27 2012 -0800 |
committer | jeffhao <jeffhao@google.com> | Wed Feb 01 16:12:27 2012 -0800 |
tree | 7aac1bcaf372b48bc07b387adeee349995b35660 | |
parent | c476227fe7da5097fc88af078e3eef856b4d6997 [diff] |
Fix to instruction typing for verifier. Change-Id: I7e830109cc395c786999c34c4cff5c4979a757d0