From 063077ce84d8f6eb391ba5a8fdb2a79d1b2c5edc Mon Sep 17 00:00:00 2001 From: wmayer Date: Mon, 28 Feb 2022 12:37:09 +0100 Subject: [PATCH] Gui: [skip ci] std::isspace requires cctype header --- src/Gui/Document.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Gui/Document.cpp b/src/Gui/Document.cpp index 8e1d4bba78..6233922d33 100644 --- a/src/Gui/Document.cpp +++ b/src/Gui/Document.cpp @@ -32,6 +32,8 @@ # include #endif +#include + #include #include #include