diff options
Diffstat (limited to 'src/sim/sim_events.hh')
| -rw-r--r-- | src/sim/sim_events.hh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/sim/sim_events.hh b/src/sim/sim_events.hh index 5be2609fd..4d001f8f0 100644 --- a/src/sim/sim_events.hh +++ b/src/sim/sim_events.hh @@ -71,6 +71,11 @@ class GlobalSimLoopExitEvent : public GlobalEvent void process(); // process event virtual const char *description() const; + + virtual ~GlobalSimLoopExitEvent() { + // simulate()'s singleton GlobalSimLoopExitEvent is always scheduled + deschedule(); + } }; class LocalSimLoopExitEvent : public Event |