Adding a missing delete to smt2_compliance.

diff --git a/test/system/smt2_compliance.cpp b/test/system/smt2_compliance.cpp
index 593123426a898cf62658251c9f194fb527711829..f754adc0efeae5e5fbeccdebd90d7e883fd97f9e 100644 (file)
--- 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;
 }