From dc73616ca24f512539b44e13bab2ec7749ed2317 Mon Sep 17 00:00:00 2001 From: SUTER Frederic Date: Wed, 2 Feb 2022 19:10:47 +0100 Subject: [PATCH] add missing override keywords --- src/kernel/actor/SimcallObserver.hpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/kernel/actor/SimcallObserver.hpp b/src/kernel/actor/SimcallObserver.hpp index 57f79b3f8c..77f94f8de4 100644 --- a/src/kernel/actor/SimcallObserver.hpp +++ b/src/kernel/actor/SimcallObserver.hpp @@ -177,7 +177,7 @@ public: } SimcallObserver* clone() override { return new ActivityTestSimcall(get_issuer(), activity_); } bool is_visible() const override { return true; } - bool depends(SimcallObserver* other); + bool depends(SimcallObserver* other) override; std::string to_string(int times_considered) const override; std::string dot_label(int times_considered) const override; activity::ActivityImpl* get_activity() const { return activity_; } @@ -214,7 +214,7 @@ public: SimcallObserver* clone() override { return new ActivityWaitSimcall(get_issuer(), activity_, timeout_); } bool is_visible() const override { return true; } bool is_enabled() const override; - bool depends(SimcallObserver* other); + bool depends(SimcallObserver* other) override; std::string to_string(int times_considered) const override; std::string dot_label(int times_considered) const override; activity::ActivityImpl* get_activity() const { return activity_; } -- 2.20.1