From 84d237a292f44022b0df6351dd2ffdc89785d214 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 4 Jun 2009 02:59:28 +0000 Subject: Added a couple of tests for ReadLSB/MSB. Changed kleaver to write to stdout. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72841 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Expr/Parser.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib') diff --git a/lib/Expr/Parser.cpp b/lib/Expr/Parser.cpp index 5f666269..9e1849ae 100644 --- a/lib/Expr/Parser.cpp +++ b/lib/Expr/Parser.cpp @@ -1291,7 +1291,7 @@ Decl::Decl() {} void QueryCommand::dump() { // FIXME: This is masking the difference between an actual query and // a query decl. - ExprPPrinter::printQuery(std::cerr, + ExprPPrinter::printQuery(std::cout, ConstraintManager(Constraints), Query); } -- cgit 1.4.1