diff options
Diffstat (limited to 'src/systemc/core/scheduler.hh')
| -rw-r--r-- | src/systemc/core/scheduler.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/systemc/core/scheduler.hh b/src/systemc/core/scheduler.hh index c22bdf870..24b7fd2ff 100644 --- a/src/systemc/core/scheduler.hh +++ b/src/systemc/core/scheduler.hh @@ -159,6 +159,7 @@ class Scheduler typedef std::map<Tick, TimeSlot *> TimeSlots; Scheduler(); + ~Scheduler(); const std::string name() const { return "systemc_scheduler"; } |