From 4d07fa5db3eb52bcadb0ab618699d2de3fb4addb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 1 Aug 2017 12:46:38 -0700
Subject: [PATCH] use ifdef instead of if for _TRACE

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/heap.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/heap.cpp b/src/test/heap.cpp
index 53b6a198e..39353af76 100644
--- a/src/test/heap.cpp
+++ b/src/test/heap.cpp
@@ -70,7 +70,7 @@ static void init_values() {
         g_value[i] = heap_rand();
 }
 
-#if _TRACE
+#ifdef _TRACE
 static void dump_heap(const int_heap2 & h, std::ostream & out) {
     //   int_heap2::const_iterator it  = h.begin();
     //   int_heap2::const_iterator end = h.end();