From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 26 Jun 2014 16:14:06 +0000 (-0400)
Subject: Fix for 32-bit (esp. win32 failing build).
X-Git-Tag: cvc5-1.0.0~6719
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b825605;p=cvc5.git

Fix for 32-bit (esp. win32 failing build).
---

diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index 964ce07c1..f5d030e26 100644
--- a/src/main/command_executor_portfolio.cpp
+++ b/src/main/command_executor_portfolio.cpp
@@ -304,7 +304,7 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd)
                          &d_channelsIn[0],
                          &d_smts[0]);
 
-    uint64_t threadStackSize = d_options[options::threadStackSize];
+    size_t threadStackSize = d_options[options::threadStackSize];
     threadStackSize *= 1024 * 1024;
 
     pair<int, bool> portfolioReturn =