Fixing double delete bug in main.cpp

diff --git a/src/main/main.cpp b/src/main/main.cpp
index 5e1f4be93eb75bc255ba9f48b9f175466ae1b1c4..b101036356dfaa91eb9f0f1a958782c52721aa9d 100644 (file)
--- 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()) {