diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-02 18:40:51 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-02 18:40:51 +0000 |
commit | aa345c679983d0f9197d9a7b2d24d6ccd92f90f3 (patch) | |
tree | d1767d107e42047325aec0b9970bdf7bb52d7066 /src/main/main.cpp | |
parent | 008258d1de0ad57b2c605c129cd17794fa474bfc (diff) |
Fixing double delete bug in main.cpp
Diffstat (limited to 'src/main/main.cpp')
-rw-r--r-- | src/main/main.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp index 5e1f4be93..b10103635 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -171,7 +171,6 @@ int runCvc4(int argc, char* argv[]) { // Remove the parser delete input; - delete input; switch(lastResult.asSatisfiabilityResult().isSAT()) { |