diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-07-18 21:32:05 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-07-18 21:32:05 +0000 |
| commit | 06077433dd58f92a06e9539b6f17a551421141b4 (patch) | |
| tree | 65b52313a45361c66a51edc60b195761e5b4ea03 /src/expr/command.cpp | |
| parent | ae2d100393355bea6e486013a184f32543cd3528 (diff) | |
more compliance fixes for SMT-LIBv2
Diffstat (limited to 'src/expr/command.cpp')
| -rw-r--r-- | src/expr/command.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/expr/command.cpp b/src/expr/command.cpp index f48e07887..f4b40cbb3 100644 --- a/src/expr/command.cpp +++ b/src/expr/command.cpp @@ -990,11 +990,11 @@ std::string GetInfoCommand::getFlag() const throw() { void GetInfoCommand::invoke(SmtEngine* smtEngine) throw() { try { - vector<SExpr> v; - v.push_back(SExpr(SExpr::Keyword(string(":") + d_flag))); - v.push_back(smtEngine->getInfo(d_flag)); + SExpr response = smtEngine->getInfo(d_flag); stringstream ss; - ss << SExpr(v); + ss << SExpr(SExpr::Keyword(d_flag)) + << ' ' + << response; d_result = ss.str(); d_commandStatus = CommandSuccess::instance(); } catch(BadOptionException&) { |