180a181,188
> if (!::sc_core::sc_allow_process_control_corners &&
> dynamic_cast<SensitivityTimeout *>(dynamicSensitivity)) {
> std::string message("attempt to disable a thread with timeout wait: ");
> message += name();
> SC_REPORT_ERROR("Undefined process control interaction",
> message.c_str());
> }
>