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>