From 09d3686d58eba3627bf697db793d654bd12fc3a9 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 12 Jan 2013 15:54:07 -0800 Subject: [PATCH] Fix memory leak in realclosure Signed-off-by: Leonardo de Moura --- src/math/realclosure/realclosure.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/math/realclosure/realclosure.cpp b/src/math/realclosure/realclosure.cpp index 998e5abb2..7f6d4dbe6 100644 --- a/src/math/realclosure/realclosure.cpp +++ b/src/math/realclosure/realclosure.cpp @@ -770,10 +770,12 @@ namespace realclosure { } void del_transcendental(transcendental * t) { + bqim().del(t->m_interval); allocator().deallocate(sizeof(transcendental), t); } void del_infinitesimal(infinitesimal * i) { + bqim().del(i->m_interval); allocator().deallocate(sizeof(infinitesimal), i); }