From: Tim King <taking@google.com>
Date: Wed, 31 Aug 2016 22:52:41 +0000 (-0700)
Subject: Removing typeof from command_executor_portfolio.cpp.
X-Git-Tag: cvc5-1.0.0~6028^2~73
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ab8102cd7547887389015f74167ded74f7649b1f;p=cvc5.git

Removing typeof from command_executor_portfolio.cpp.
---

diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index 1902e1817..bd8b6a9ed 100644
--- a/src/main/command_executor_portfolio.cpp
+++ b/src/main/command_executor_portfolio.cpp
@@ -277,11 +277,13 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd)
      * set of variables mapped.)
      */
     if(d_numThreads >= 2) {
-      for(typeof(d_vmaps[1]->d_to.begin()) i=d_vmaps[1]->d_to.begin();
-          i!=d_vmaps[1]->d_to.end(); ++i) {
-        (d_vmaps[0]->d_from)[i->first] = i->first;
+      VarMap& thread_0_from = d_vmaps[0]->d_from;
+      VarMap& thread_1_to = d_vmaps[1]->d_to;
+      for(VarMap::iterator i=thread_1_to.begin();
+          i != thread_1_to.end(); ++i) {
+        thread_0_from[i->first] = i->first;
       }
-      d_vmaps[0]->d_to = d_vmaps[0]->d_from;
+      d_vmaps[0]->d_to = thread_0_from;
     }
 
     lemmaSharingInit();