diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2016-05-16 13:27:57 -0700 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2016-05-16 15:58:25 -0700 |
commit | 2f985f434778f02ab1c8eee3fa7ff5c6a1e29cbc (patch) | |
tree | e8324567a55a3b33f657cde4228b79fd260abba1 | |
parent | 246fffffafba07aaeadd0d0c99a2e1c4b589a63c (diff) |
Fix memory leak in interactive_shell.cpp
-rw-r--r-- | src/main/interactive_shell.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
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) { |