Fix memory leak in interactive_shell.cpp
authorClark Barrett <barrett@cs.nyu.edu>
Mon, 16 May 2016 20:27:57 +0000 (13:27 -0700)
committerClark Barrett <barrett@cs.nyu.edu>
Mon, 16 May 2016 22:58:25 +0000 (15:58 -0700)
src/main/interactive_shell.cpp

index e11f82a4083911035d4c77d5c0fb84b004a0e65e..334373642a17d3c0ba396f9b02a6637d1aa1ed0f 100644 (file)
@@ -172,6 +172,7 @@ InteractiveShell::~InteractiveShell() {
              << ": " << strerror(err) << std::endl;
   }
 #endif /* HAVE_LIBREADLINE */
+  delete d_parser;
 }
 
 Command* InteractiveShell::readCommand() throw (UnsafeInterruptException) {