From 400aea6b9d4d0a33f4c6cae4cada7e54029fccc4 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Tue, 1 Sep 2009 06:53:41 +0000 Subject: Update for LLVM ostream changes. - Includes patch by Michael Stone! git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@80665 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Solver/IndependentSolver.cpp | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'lib/Solver/IndependentSolver.cpp') diff --git a/lib/Solver/IndependentSolver.cpp b/lib/Solver/IndependentSolver.cpp index 3e19dbc6..090d027a 100644 --- a/lib/Solver/IndependentSolver.cpp +++ b/lib/Solver/IndependentSolver.cpp @@ -15,10 +15,10 @@ #include "klee/util/ExprUtil.h" -#include "llvm/Support/Streams.h" - #include #include +#include +#include using namespace klee; using namespace llvm; @@ -249,17 +249,17 @@ IndependentElementSet getIndependentConstraints(const Query& query, if (0) { std::set< ref > reqset(result.begin(), result.end()); - llvm::cerr << "--\n"; - llvm::cerr << "Q: " << query.expr << "\n"; - llvm::cerr << "\telts: " << IndependentElementSet(query.expr) << "\n"; + std::cerr << "--\n"; + std::cerr << "Q: " << query.expr << "\n"; + std::cerr << "\telts: " << IndependentElementSet(query.expr) << "\n"; int i = 0; for (ConstraintManager::const_iterator it = query.constraints.begin(), ie = query.constraints.end(); it != ie; ++it) { - llvm::cerr << "C" << i++ << ": " << *it; - llvm::cerr << " " << (reqset.count(*it) ? "(required)" : "(independent)") << "\n"; - llvm::cerr << "\telts: " << IndependentElementSet(*it) << "\n"; + std::cerr << "C" << i++ << ": " << *it; + std::cerr << " " << (reqset.count(*it) ? "(required)" : "(independent)") << "\n"; + std::cerr << "\telts: " << IndependentElementSet(*it) << "\n"; } - llvm::cerr << "elts closure: " << eltsClosure << "\n"; + std::cerr << "elts closure: " << eltsClosure << "\n"; } return eltsClosure; -- cgit 1.4.1