diff options
Diffstat (limited to 'gtk/PlatGTK.cxx')
| -rwxr-xr-x | gtk/PlatGTK.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk/PlatGTK.cxx b/gtk/PlatGTK.cxx index b532826a7..e5daf5b1a 100755 --- a/gtk/PlatGTK.cxx +++ b/gtk/PlatGTK.cxx @@ -13,6 +13,7 @@ #include <string_view> #include <vector> #include <map> +#include <optional> #include <algorithm> #include <memory> #include <sstream> |