diff options
| -rw-r--r-- | src/systemc/core/event.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/systemc/core/event.cc b/src/systemc/core/event.cc index 6e35da1c8..77e47fba6 100644 --- a/src/systemc/core/event.cc +++ b/src/systemc/core/event.cc @@ -122,6 +122,10 @@ Event::getParentObject() const void Event::notify() { + // An immediate notification overrides any pending delayed notification. + if (delayedNotify.scheduled()) + scheduler.deschedule(&delayedNotify); + auto local_sensitivities = sensitivities; for (auto s: local_sensitivities) s->notify(this); |