From 3ad14465971a27c28d6c291262952f466532828e Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Fri, 15 Jun 2018 15:09:25 -0700
Subject: [PATCH] Remove spurious quote

---
 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 77204977e..994faf6a3 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_