From 48492cbfa729fe035b7b69b71b541cb67f8545df Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin@se.inf.tu-dresden.de>
Date: Thu, 22 May 2014 21:56:22 +0200
Subject: Use LLVM DEBUG macro instead of #if 0 or #if DEBUG

---
 lib/Solver/IndependentSolver.cpp | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'lib/Solver/IndependentSolver.cpp')

diff --git a/lib/Solver/IndependentSolver.cpp b/lib/Solver/IndependentSolver.cpp
index 2cb4b2c6..46b4ee56 100644
--- a/lib/Solver/IndependentSolver.cpp
+++ b/lib/Solver/IndependentSolver.cpp
@@ -15,6 +15,8 @@
 
 #include "klee/util/ExprUtil.h"
 
+#define DEBUG_TYPE "independent-solver"
+#include "llvm/Support/Debug.h"
 #include "llvm/Support/raw_ostream.h"
 #include <map>
 #include <vector>
@@ -249,8 +251,7 @@ IndependentElementSet getIndependentConstraints(const Query& query,
     worklist.swap(newWorklist);
   } while (!done);
 
-#if 0
-  if (0) {
+DEBUG(
     std::set< ref<Expr> > reqset(result.begin(), result.end());
     errs() << "--\n";
     errs() << "Q: " << query.expr << "\n";
@@ -263,8 +264,8 @@ IndependentElementSet getIndependentConstraints(const Query& query,
       errs() << "\telts: " << IndependentElementSet(*it) << "\n";
     }
     errs() << "elts closure: " << eltsClosure << "\n";
-  }
-#endif
+ );
+
 
   return eltsClosure;
 }
-- 
cgit 1.4.1