From a113f4f24e5fbb9bc24640248e7e45bfd9ee666b Mon Sep 17 00:00:00 2001
From: Uwe <donovaly@users.noreply.github.com>
Date: Sun, 6 Mar 2022 15:33:31 +0100
Subject: [PATCH] [Gui] compilation fix for precompiled headers

---
 src/Gui/PreCompiled.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Gui/PreCompiled.h b/src/Gui/PreCompiled.h
index f26d2ce569..b05aa8588a 100644
--- a/src/Gui/PreCompiled.h
+++ b/src/Gui/PreCompiled.h
@@ -60,7 +60,7 @@
 #endif
 
 // null-terminated byte string
-#include <cctype.h>
+#include <cctype>
 
 // streams
 #include <iostream>