diff options
Diffstat (limited to 'src/smt_util/command.cpp')
| -rw-r--r-- | src/smt_util/command.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/smt_util/command.cpp b/src/smt_util/command.cpp index ae4e1f1f0..5917d71da 100644 --- a/src/smt_util/command.cpp +++ b/src/smt_util/command.cpp @@ -25,6 +25,7 @@ #include "base/cvc4_assert.h" #include "base/output.h" +#include "expr/expr_iomanip.h" #include "expr/node.h" #include "expr/sexpr.h" #include "options/options.h" @@ -984,7 +985,7 @@ void GetValueCommand::printResult(std::ostream& out, uint32_t verbosity) const t if(! ok()) { this->Command::printResult(out, verbosity); } else { - Expr::dag::Scope scope(out, false); + expr::ExprDag::Scope scope(out, false); out << d_result << endl; } } |