mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-02-01 23:07:59 +00:00
Code Activity

fix build

Browse source
This commit is contained in:
Nuno Lopes 2026-01-30 16:29:30 +00:00
parent 095b2bdf59
commit 5f835dd99c
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/util/mpz.h
View file

@ -152,7 +152,6 @@ class mpz_manager {
mutable std::recursive_mutex m_lock;
#define MPZ_BEGIN_CRITICAL() if (SYNCH) m_lock.lock()
#define MPZ_END_CRITICAL() if (SYNCH) m_lock.unlock()
static_assert(false);
#else
#define MPZ_BEGIN_CRITICAL() {}
#define MPZ_END_CRITICAL() {}