From 8e8e9be25fa6f97fc268640881b7f4ac9fb937bb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 18 May 2020 16:49:43 -0700
Subject: [PATCH] st

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

diff --git a/src/util/symbol.cpp b/src/util/symbol.cpp
index 4516001c7..aed40b521 100644
--- a/src/util/symbol.cpp
+++ b/src/util/symbol.cpp
@@ -23,7 +23,7 @@ Revision History:
 #include "util/region.h"
 #include "util/string_buffer.h"
 #include <cstring>
-#ifdef SINGLE_THREAD
+#ifndef SINGLE_THREAD
 #include <thread>
 #endif