From 7776f4b24b0e3eef773095dc4888fcae1a53ecb3 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Sun, 1 Dec 2013 23:44:58 -0500
Subject: [PATCH] fix(util/stackinfo): fix preprocessor directive

---
 src/util/stackinfo.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/util/stackinfo.cpp b/src/util/stackinfo.cpp
index a77e918303..e9713af76a 100644
--- a/src/util/stackinfo.cpp
+++ b/src/util/stackinfo.cpp
@@ -16,8 +16,7 @@ namespace lean {
 size_t get_stack_size() {
     return LEAN_WIN_STACK_SIZE
 }
-#endif
-#ifdef __APPLE__
+#elif defined (__APPLE__)
 size_t get_stack_size() {
     pthread_attr_t attr;
     memset (&attr, 0, sizeof(attr));