From 4867dba175fe75fd108e06101c5d42eea91722a1 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 27 May 2015 08:52:39 -0700
Subject: [PATCH] fix(util/stackinfo): saving max stack size on OSX

see issue #628
---
 src/util/stackinfo.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/stackinfo.cpp b/src/util/stackinfo.cpp
index 3579418f6..2194b0142 100644
--- a/src/util/stackinfo.cpp
+++ b/src/util/stackinfo.cpp
@@ -40,7 +40,7 @@ size_t get_stack_size(int main) {
         if (getrlimit(RLIMIT_STACK, &curr) != 0) {
             throw_get_stack_size_failed();
         }
-        return curr.rlim_max;
+        return curr.rlim_cur;
     } else {
         #if defined(LEAN_MULTI_THREAD)
         {