62c62
< return std::make_shared<UnknownInstFault>();
---
> return std::make_shared<UnknownInstFault>(machInst);