aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rw-r--r--scripts/HeaderOrder.txt1
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/HeaderOrder.txt b/scripts/HeaderOrder.txt
index 53a1d7778..1f61d5440 100644
--- a/scripts/HeaderOrder.txt
+++ b/scripts/HeaderOrder.txt
@@ -45,6 +45,7 @@
#include <iostream>
#include <sstream>
#include <fstream>
+#include <mutex>
#include <filesystem>
// POSIX