From 5f835dd99ccb8a5a96e89403c0e434d537587a8f Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Fri, 30 Jan 2026 16:29:30 +0000 Subject: [PATCH] fix build --- src/util/mpz.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/util/mpz.h b/src/util/mpz.h index fe3c66077..88ee35e15 100644 --- a/src/util/mpz.h +++ b/src/util/mpz.h @@ -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() {}