From b20f2417722f00f8849d91c1ed8a18599bc17850 Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Wed, 28 Nov 2012 20:18:46 +0000
Subject: [PATCH] treat all get commands like getValue (send only to
 lastWinner)

---
 src/main/command_executor_portfolio.cpp | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index 5953373ff..a8159ef80 100644
--- a/src/main/command_executor_portfolio.cpp
+++ b/src/main/command_executor_portfolio.cpp
@@ -189,7 +189,15 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd)
   if(dynamic_cast<CheckSatCommand*>(cmd) != NULL ||
     dynamic_cast<QueryCommand*>(cmd) != NULL) {
     mode = 1;
-  } else if(dynamic_cast<GetValueCommand*>(cmd) != NULL) {
+  } else if(dynamic_cast<GetValueCommand*>(cmd) != NULL ||
+            dynamic_cast<GetAssignmentCommand*>(cmd) != NULL ||
+            dynamic_cast<GetModelCommand*>(cmd) != NULL ||
+            dynamic_cast<GetProofCommand*>(cmd) != NULL ||
+            dynamic_cast<GetUnsatCoreCommand*>(cmd) != NULL ||
+            dynamic_cast<GetAssertionsCommand*>(cmd) != NULL ||
+            dynamic_cast<GetInfoCommand*>(cmd) != NULL ||
+            dynamic_cast<GetOptionCommand*>(cmd) != NULL ||
+            false) {
     mode = 2;
   }
 
-- 
2.30.2