From fd9781d58df3de6aecb670737b16b36d3963703e Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 4 Dec 2013 08:26:50 -0800
Subject: [PATCH] fix(util/stackinfo): compilation warning on mingw and cygwin

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 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 c6a32cd571..d7891216b7 100644
--- a/src/util/stackinfo.cpp
+++ b/src/util/stackinfo.cpp
@@ -12,7 +12,7 @@ Author: Leonardo de Moura
 #define LEAN_MIN_STACK_SPACE 128*1024  // 128 Kb
 
 namespace lean {
-static void throw_get_stack_size_failed() {
+void throw_get_stack_size_failed() {
     throw exception("failed to retrieve thread stack size");
 }