From 9149048f348b57c0f13c6019b6477786fc3e0589 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 15 Jun 2018 15:53:47 -0700 Subject: [PATCH] use quotes Signed-off-by: Nikolaj Bjorner --- 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 4b18ec5e6..12fd2fe3b 100644 --- a/src/util/util.h +++ b/src/util/util.h @@ -196,7 +196,7 @@ bool is_threaded(); #define PRAGMA_LOCK __pragma(omp critical (verbose_lock)) #else #define DO_PRAGMA(x) _Pragma(#x) -#define PRAGMA_LOCK _Pragma(omp critical (verbose_lock)) +#define PRAGMA_LOCK _Pragma("omp critical (verbose_lock)") #endif #ifdef _NO_OMP_