diff --git a/src/systemc/core/scheduler.hh b/src/systemc/core/scheduler.hh index 273faf7d7d..742f916382 100644 --- a/src/systemc/core/scheduler.hh +++ b/src/systemc/core/scheduler.hh @@ -160,7 +160,7 @@ class Scheduler Tick targeted_when; Scheduler* parent_scheduler; ScEvents events; - void process(); + void process() override; protected: void