971,972c971,974
< // type ReExec.
< assert(dynamic_cast<ReExec*>(inst->fault.get()) != nullptr);
---
> // type ReExec or - in case of a SplitRequest - a partial
> // translation fault
> assert(dynamic_cast<ReExec*>(inst->fault.get()) != nullptr ||
> inst->savedReq->isPartialFault());