From bc3b01828dda4e09cf88232af1d18d6b5c7d71d4 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 23 Aug 2016 15:40:51 -0700
Subject: [PATCH] fix(library/attribute_manager): memory leak

The method `release` releases the pointer ownership without deleting it.
---
 src/library/attribute_manager.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/attribute_manager.cpp b/src/library/attribute_manager.cpp
index c022d701eb..b579c1c26e 100644
--- a/src/library/attribute_manager.cpp
+++ b/src/library/attribute_manager.cpp
@@ -272,7 +272,7 @@ void finalize_attribute_manager() {
     attribute_ext::finalize();
     delete g_key;
     delete g_incomp;
-    g_user_attribute_ext.release();
+    g_user_attribute_ext.reset();
     delete g_system_attributes;
 }
 }