From 30ec308c573df96c93b94e9abb119809efb11afc Mon Sep 17 00:00:00 2001 From: Carson Radtke Date: Tue, 22 Apr 2025 14:07:00 -0500 Subject: [PATCH] Replace `_DEBUG` with `Z3DEBUG` 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 a52e3e3bd41..1d9a604afb1 100644 --- a/src/util/memory_manager.h +++ b/src/util/memory_manager.h @@ -75,7 +75,7 @@ class memory { }; -#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_)