diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/HeaderOrder.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/HeaderOrder.txt b/scripts/HeaderOrder.txt index 33beb4d7e..9001736ed 100644 --- a/scripts/HeaderOrder.txt +++ b/scripts/HeaderOrder.txt @@ -57,7 +57,10 @@ #include <sstream> #include <fstream> #include <iomanip> +#include <atomic> #include <mutex> +#include <thread> +#include <future> // GTK headers #include <glib.h> |