From cc1d19f29cda6b02545be373a478d38ca80dba4e Mon Sep 17 00:00:00 2001 From: Miguel Horta Date: Thu, 11 Apr 2024 21:45:01 +0100 Subject: [PATCH] fix: Add missing header --- src/help_gui.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/help_gui.cpp b/src/help_gui.cpp index c78c985fb7..6ee6d73c00 100644 --- a/src/help_gui.cpp +++ b/src/help_gui.cpp @@ -21,6 +21,8 @@ #include "widgets/help_widget.h" #include "widgets/misc_widget.h" +#include + #include "safeguards.h" static const std::string README_FILENAME = "README.md";