From 42c9394c6d06b49a24917e6bf2b77d62b5bbf677 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 1 May 2018 08:49:48 -0700
Subject: [PATCH] pragma

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

diff --git a/src/util/util.h b/src/util/util.h
index a9f28e133..bebf17f28 100644
--- a/src/util/util.h
+++ b/src/util/util.h
@@ -194,7 +194,7 @@ bool is_threaded();
 #ifdef _MSC_VER
 #define DO_PRAGMA(x) __pragma(x)
 #else
-#define DO_PRAGMA(x) _Pragma(x)
+#define DO_PRAGMA(x) _Pragma((x))
 #endif
 
 #ifdef _NO_OMP_