From fcdf8d49485c63e8c8ecda3d0a488f92c62055da Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 13 Dec 2021 11:40:45 -0800
Subject: [PATCH] include atomic

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/scoped_timer.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/test/scoped_timer.cpp b/src/test/scoped_timer.cpp
index d65034135..ff9d52b06 100644
--- a/src/test/scoped_timer.cpp
+++ b/src/test/scoped_timer.cpp
@@ -8,6 +8,7 @@
 #include "util/vector.h"
 #include "util/trace.h"
 #include <thread>
+#include <atomic>
 
 class test_scoped_eh : public event_handler {
     std::atomic<bool> m_called = false;