From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Fri, 2 Apr 2010 18:40:51 +0000 (+0000)
Subject: Fixing double delete bug in main.cpp
X-Git-Tag: cvc5-1.0.0~9143
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=aa345c679983d0f9197d9a7b2d24d6ccd92f90f3;p=cvc5.git

Fixing double delete bug in main.cpp
---

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()) {