From 2f985f434778f02ab1c8eee3fa7ff5c6a1e29cbc Mon Sep 17 00:00:00 2001
From: Clark Barrett <barrett@cs.nyu.edu>
Date: Mon, 16 May 2016 13:27:57 -0700
Subject: [PATCH] Fix memory leak in interactive_shell.cpp

---
 src/main/interactive_shell.cpp | 1 +
 1 file changed, 1 insertion(+)

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) {
-- 
2.30.2