From e44b9dbc92ed26f4f02ff91272a080cef2d73bea Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 27 Jun 2014 13:02:31 -0400
Subject: Another fix for 32-bit (amends commit b825605).

---
 src/main/portfolio.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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&);
 
-- 
cgit v1.2.3