fix single-thread build

Z3Prover · Nov 19, 2020 · 40159a3 · 40159a3
1 parent 0fa88ef
commit 40159a3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/util/scoped_timer.cpp b/src/util/scoped_timer.cpp
@@ -22,6 +22,7 @@ Revision History:
 #include "util/scoped_timer.h"
 #include "util/mutex.h"
 #include "util/util.h"
+#include <atomic>
 #include <chrono>
 #include <climits>
 #include <condition_variable>