1 files changed, 1 insertions, 1 deletions
diff --git a/src/gui/windowmenu.h b/src/gui/windowmenu.h
index 2fbd3a0c8..d66ccd184 100644
--- a/src/gui/windowmenu.h
+++ b/src/gui/windowmenu.h
@@ -123,7 +123,7 @@ class WindowMenu final : public Container,
     private:
         inline void addButton(const char *const text,
                               const std::string &description,
-                              int &x, int &h, const int key,
+                              int &restrict x, int &restrict h, const int key,
                               const bool visible = true);
 
         void updateButtons();