projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
246ffff
)
Fix memory leak in interactive_shell.cpp
author
Clark Barrett
<barrett@cs.nyu.edu>
Mon, 16 May 2016 20:27:57 +0000
(13:27 -0700)
committer
Clark Barrett
<barrett@cs.nyu.edu>
Mon, 16 May 2016 22:58:25 +0000
(15:58 -0700)
src/main/interactive_shell.cpp
patch
|
blob
|
history
diff --git
a/src/main/interactive_shell.cpp
b/src/main/interactive_shell.cpp
index e11f82a4083911035d4c77d5c0fb84b004a0e65e..334373642a17d3c0ba396f9b02a6637d1aa1ed0f 100644
(file)
--- 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) {