From: Tim King <taking@google.com>
Date: Mon, 23 Nov 2015 21:27:14 +0000 (-0800)
Subject: Adding a missing delete to smt2_compliance.
X-Git-Tag: cvc5-1.0.0~6161
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4262723336d82944ffed768604fcd175cdc749a9;p=cvc5.git

Adding a missing delete to smt2_compliance.
---

diff --git a/test/system/smt2_compliance.cpp b/test/system/smt2_compliance.cpp
index 593123426..f754adc0e 100644
--- a/test/system/smt2_compliance.cpp
+++ b/test/system/smt2_compliance.cpp
@@ -67,6 +67,6 @@ void testGetInfo(SmtEngine& smt, const char* s) {
   c->invoke(&smt, ss);
   assert(p->nextCommand() == NULL);
   delete p;
-
+  delete c;
   cout << ss.str() << endl << endl;
 }