projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b823c44
)
Fix for 32-bit (esp. win32 failing build).
author
Morgan Deters
<mdeters@cs.nyu.edu>
Thu, 26 Jun 2014 16:14:06 +0000
(12:14 -0400)
committer
Morgan Deters
<mdeters@cs.nyu.edu>
Thu, 26 Jun 2014 16:14:06 +0000
(12:14 -0400)
src/main/command_executor_portfolio.cpp
patch
|
blob
|
history
diff --git
a/src/main/command_executor_portfolio.cpp
b/src/main/command_executor_portfolio.cpp
index 964ce07c11ff72e1387350ff607a0614b38f441c..f5d030e260f97aaf10cf3fe93ad7222eaade6f65 100644
(file)
--- 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 =