From aa345c679983d0f9197d9a7b2d24d6ccd92f90f3 Mon Sep 17 00:00:00 2001
From: "Christopher L. Conway" <christopherleeconway@gmail.com>
Date: Fri, 2 Apr 2010 18:40:51 +0000
Subject: [PATCH] Fixing double delete bug in main.cpp

---
 src/main/main.cpp | 1 -
 1 file changed, 1 deletion(-)

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