From 5ba814b14f420524f641b373f381b5dc0d349b61 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 1 May 2018 08:54:05 -0700
Subject: [PATCH] try string in 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 bebf17f28..6e7ee5ce5 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_