michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(util/stackinfo): fix typo

Browse source
This commit is contained in:
Soonho Kong 2013-12-02 00:03:57 -05:00
parent 7776f4b24b
commit 31b26f53ad
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/util/stackinfo.cpp
View file

@ -14,7 +14,7 @@ Author: Leonardo de Moura
namespace lean {
#ifdef LEAN_WINDOWS
size_t get_stack_size() {
return LEAN_WIN_STACK_SIZE
return LEAN_WIN_STACK_SIZE;
}
#elif defined (__APPLE__)
size_t get_stack_size() {
@ -24,6 +24,7 @@ size_t get_stack_size() {
size_t result;
if (pthread_attr_getstacksize(&attr, &result) != 0) {
// pthread_attr_getstacksize is supposed to return 0
std::cerr << "get_stack_size error" << std::endl;
throw stack_space_exception();
}
return result;