tree 7aac1bcaf372b48bc07b387adeee349995b35660
parent c476227fe7da5097fc88af078e3eef856b4d6997
author jeffhao <jeffhao@google.com> 1328141547 -0800
committer jeffhao <jeffhao@google.com> 1328141547 -0800

Fix to instruction typing for verifier.

Change-Id: I7e830109cc395c786999c34c4cff5c4979a757d0