From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 27 Jun 2014 17:02:31 +0000 (-0400)
Subject: Another fix for 32-bit (amends commit b825605).
X-Git-Tag: cvc5-1.0.0~6715
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e44b9dbc92ed26f4f02ff91272a080cef2d73bea;p=cvc5.git

Another fix for 32-bit (amends commit b825605).
---

diff --git a/src/main/portfolio.cpp b/src/main/portfolio.cpp
index 0fd220dbe..fe540d72f 100644
--- a/src/main/portfolio.cpp
+++ b/src/main/portfolio.cpp
@@ -62,7 +62,7 @@ template<typename T, typename S>
 std::pair<int, S> runPortfolio(int numThreads,
                                boost::function<T()> driverFn,
                                boost::function<S()> threadFns[],
-                               uint64_t stackSize,
+                               size_t stackSize,
                                bool optionWaitToJoin,
                                TimerStat& statWaitTime) {
   boost::thread thread_driver;
@@ -131,7 +131,7 @@ std::pair<int, bool>
 runPortfolio<void, bool>(int,
                          boost::function<void()>, 
                          boost::function<bool()>*,
-                         uint64_t,
+                         size_t,
                          bool,
                          TimerStat&);