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

diff --git a/src/main/portfolio.cpp b/src/main/portfolio.cpp
index 0fd220dbe150335a247d4bede9b2d7bb972965c2..fe540d72fe70dad302204f81b1e866c456196edc 100644 (file)
--- 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&);