From c0e378b0453e42331ca92c842288fdd4e7d0b8d3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 15 Jun 2018 15:44:33 -0700
Subject: [PATCH] remove {

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 994faf6a3..4b18ec5e6 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_