diff options
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/command.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
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 { |