From 2fe2735b5ed17a1998ace4422810c11a8bcb1760 Mon Sep 17 00:00:00 2001 From: Carson Radtke Date: Tue, 22 Apr 2025 15:39:01 -0500 Subject: [PATCH] Replace `_DEBUG` with `Z3DEBUG` (#7628) Fixes https://github.com/Z3Prover/z3/issues/7627 --- src/util/memory_manager.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/memory_manager.h b/src/util/memory_manager.h index a52e3e3bd..1d9a604af 100644 --- a/src/util/memory_manager.h +++ b/src/util/memory_manager.h @@ -75,7 +75,7 @@ public: }; -#if _DEBUG +#if Z3DEBUG #define alloc(T,...) new (memory::allocate(__FILE__,__LINE__,#T, sizeof(T))) T(__VA_ARGS__) #define dealloc(_ptr_) deallocf(__FILE__,__LINE__,_ptr_)