From: Clark Barrett <barrett@cs.nyu.edu>
Date: Mon, 16 May 2016 20:27:57 +0000 (-0700)
Subject: Fix memory leak in interactive_shell.cpp
X-Git-Tag: cvc5-1.0.0~6049^2~45
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2f985f434778f02ab1c8eee3fa7ff5c6a1e29cbc;p=cvc5.git

Fix memory leak in interactive_shell.cpp
---

diff --git a/src/main/interactive_shell.cpp b/src/main/interactive_shell.cpp
index e11f82a40..334373642 100644
--- a/src/main/interactive_shell.cpp
+++ b/src/main/interactive_shell.cpp
@@ -172,6 +172,7 @@ InteractiveShell::~InteractiveShell() {
              << ": " << strerror(err) << std::endl;
   }
 #endif /* HAVE_LIBREADLINE */
+  delete d_parser;
 }
 
 Command* InteractiveShell::readCommand() throw (UnsafeInterruptException) {