From 545341e69999ceca585f3dacc08d5c6b6f096edc Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 12 Mar 2022 09:17:03 -0800
Subject: [PATCH] fix #5895

---
 src/smt/old_interval.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/old_interval.cpp b/src/smt/old_interval.cpp
index efdb78754..e719f7e2b 100644
--- a/src/smt/old_interval.cpp
+++ b/src/smt/old_interval.cpp
@@ -292,7 +292,7 @@ v_dependency * interval::join_opt(v_dependency * d1, v_dependency * d2, v_depend
 }
 
 interval & interval::operator*=(interval const & other) {
-#if Z3DEBUG || _TRACE
+#if defined(Z3DEBUG) || defined(_TRACE)
     bool contains_zero1 = contains_zero();
     bool contains_zero2 = other.contains_zero();
 #endif