mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
fix build
This commit is contained in:
parent
87a96d7bd4
commit
9fce5e124f
|
@ -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>
|
||||
|
|
Loading…
Reference in a new issue