diff --git a/src/Gui/PrefWidgets.h b/src/Gui/PrefWidgets.h
index 37850e4024..cb6cfd4eb1 100644
--- a/src/Gui/PrefWidgets.h
+++ b/src/Gui/PrefWidgets.h
@@ -237,8 +237,8 @@ public:
 
 protected:
   // restore from/save to parameters
-  void restorePreferences();
-  void savePreferences();
+  void restorePreferences() override;
+  void savePreferences() override;
   virtual QVariant::Type getParamType() const;
 
 private: