From e0fc2cbe091097d95dbe6dd2eb9b6416b75be279 Mon Sep 17 00:00:00 2001
From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Wed, 3 Feb 2010 19:50:44 +0000
Subject: simple ITE parsing

---
 src/util/command.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/util')

diff --git a/src/util/command.cpp b/src/util/command.cpp
index 334180967..06545a0a0 100644
--- a/src/util/command.cpp
+++ b/src/util/command.cpp
@@ -110,7 +110,9 @@ void CheckSatCommand::toStream(ostream& out) const {
 }
 
 void QueryCommand::toStream(ostream& out) const {
-  out << "Query(" << d_expr << ")";
+  out << "Query(";
+  d_expr.printAst(out, 2);
+  out << ")";
 }
 
 void CommandSequence::toStream(ostream& out) const {
-- 
cgit v1.2.3