diff --git a/src/Instrumentation/mk_viii.cxx b/src/Instrumentation/mk_viii.cxx index 9f60dd7f3..650af6a1d 100644 --- a/src/Instrumentation/mk_viii.cxx +++ b/src/Instrumentation/mk_viii.cxx @@ -962,7 +962,7 @@ MK_VIII::FaultHandler::unset_fault (Fault fault) { if (faults & (1<fault_handler.faults & (1<fault_handler.set_fault(fault); + mk->fault_handler.set_fault(fault); } else mk->fault_handler.unset_fault(fault);