From 75f8d56eb194a0e8897eaa21bf982c6424dcb25d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 1 Dec 2013 19:17:28 -0800
Subject: [PATCH] fix(util/stackinfo): memory leak at get_stack_size

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/util/stackinfo.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/stackinfo.cpp b/src/util/stackinfo.cpp
index fa998d2a6..85ebd76a6 100644
--- a/src/util/stackinfo.cpp
+++ b/src/util/stackinfo.cpp
@@ -24,6 +24,7 @@ size_t get_stack_size() {
     void * ptr;
     size_t result;
     pthread_attr_getstack (&attr, &ptr, &result);
+    pthread_attr_destroy(&attr);
     return result;
 }
 #endif