From 9b1524fe7bd8665be375c1196a43a7f8773a5640 Mon Sep 17 00:00:00 2001 From: Pascal Bauer Date: Sat, 24 Aug 2024 12:42:35 +0200 Subject: [PATCH] fix generic driver header Signed-off-by: Pascal Bauer --- .../include/villas/kernel/devices/generic_driver.hpp | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/common/include/villas/kernel/devices/generic_driver.hpp b/common/include/villas/kernel/devices/generic_driver.hpp index 20d0c613e..8413b63ad 100644 --- a/common/include/villas/kernel/devices/generic_driver.hpp +++ b/common/include/villas/kernel/devices/generic_driver.hpp @@ -40,11 +40,11 @@ public: : path(path), bind_path(bind_path), unbind_path(unbind_path){}; public: - virtual void attach(const Device &device) const = 0; - virtual void bind(const Device &device) const = 0; - virtual std::string name() const = 0; - virtual void override(const Device &device) const = 0; - virtual void unbind(const Device &device) const = 0; + void attach(const Device &device) const override; + void bind(const Device &device) const override; + std::string name() const override; + void override(const Device &device) const override; + void unbind(const Device &device) const override; }; } // namespace devices