fix build

Z3Prover · Sep 3, 2019 · 9fce5e1 · 9fce5e1
1 parent 87a96d7
commit 9fce5e1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/util/mutex.h b/src/util/mutex.h
@@ -27,8 +27,8 @@ struct lock_guard {
 
 #define DECLARE_MUTEX(name) mutex *name = nullptr
 #define DECLARE_INIT_MUTEX(name) mutex *name = nullptr
-#define ALLOC_MUTEX(name) (void)
-#define DEALLOC_MUTEX(name) (void)
+#define ALLOC_MUTEX(name) (void)0
+#define DEALLOC_MUTEX(name) (void)0
 
 #else
 #include <atomic>