751a752
> auto arm_inst = static_cast<ArmStaticInst *>(inst.get());
754c755
< "'%s' (inst 0x%08x)", mnemonic, machInst);
---
> "'%s' (inst 0x%08x)", mnemonic, arm_inst->encoding());
757c758
< machInst);
---
> arm_inst->encoding());
760c761
< "'%s' (inst 0x%08x)", mnemonic, machInst);
---
> "'%s' (inst 0x%08x)", mnemonic, arm_inst->encoding());