34a35
> #include "messages.hh"
137c138,139
< ((void)((expr) ? 0 : (SC_REPORT_FATAL("assertion failed", #expr), 0)))
---
> ((void)((expr) ? 0 : (SC_REPORT_FATAL( \
> ::sc_core::SC_ID_ASSERTION_FAILED_, #expr), 0)))