Gui: [skip ci] fix build failure due to missing include

2022-12-22 11:01:23 +01:00
parent 7081615c29
commit 7d221f10c1
1 changed files with 1 additions and 0 deletions
--- a/src/Gui/Document.cpp
+++ b/src/Gui/Document.cpp
@@ -24,6 +24,7 @@

 #ifndef _PreComp_
 # include <cctype>
+# include <mutex>
 # include <QApplication>
 # include <QFileInfo>
 # include <QMessageBox>