diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/HeaderOrder.txt | 1 |
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 |