From 40159a3a96b3a50622e00424a345538466dcdf2f Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Thu, 19 Nov 2020 21:46:32 +0000
Subject: [PATCH] fix single-thread build

---
 src/util/scoped_timer.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/scoped_timer.cpp b/src/util/scoped_timer.cpp
index 33c6a2dc8..d9f116646 100644
--- 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>