diff --git a/src/device/device_default.hpp b/src/device/device_default.hpp
index b697e1775..5c59a9066 100644
--- a/src/device/device_default.hpp
+++ b/src/device/device_default.hpp
@@ -61,7 +61,7 @@ namespace hw {
  
             bool set_mode(device_mode mode) override;
 
-            device_type get_type() const {return device_type::SOFTWARE;};
+            device_type get_type() const override {return device_type::SOFTWARE;};
 
             /* ======================================================================= */
             /*  LOCKER                                                                 */
diff --git a/src/device/device_ledger.hpp b/src/device/device_ledger.hpp
index 87b65996d..dde69fbfd 100644
--- a/src/device/device_ledger.hpp
+++ b/src/device/device_ledger.hpp
@@ -140,7 +140,7 @@ namespace hw {
 
         bool set_mode(device_mode mode) override;
 
-        device_type get_type() const {return device_type::LEDGER;};
+        device_type get_type() const override {return device_type::LEDGER;};
 
         /* ======================================================================= */
         /*  LOCKER                                                                 */