From 06077433dd58f92a06e9539b6f17a551421141b4 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 18 Jul 2012 21:32:05 +0000
Subject: more compliance fixes for SMT-LIBv2

---
 src/expr/command.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/expr/command.cpp')

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&) {
-- 
cgit v1.2.3