From: Tim King <taking@google.com>
Date: Sun, 13 Nov 2016 08:33:40 +0000 (-0800)
Subject: Deleting a parsed Command in the interactive_shell_black test.
X-Git-Tag: cvc5-1.0.0~5979
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d8ce5358ad4d40eb2d86fe17fead9dc258d155b5;p=cvc5.git

Deleting a parsed Command in the interactive_shell_black test.
---

diff --git a/test/unit/main/interactive_shell_black.h b/test/unit/main/interactive_shell_black.h
index 9ac81781c..5e9d43dd4 100644
--- a/test/unit/main/interactive_shell_black.h
+++ b/test/unit/main/interactive_shell_black.h
@@ -26,6 +26,7 @@
 #include "options/language.h"
 #include "options/options.h"
 #include "parser/parser_builder.h"
+#include "smt/command.h"
 
 using namespace CVC4;
 using namespace std;
@@ -97,9 +98,10 @@ private:
     InteractiveShell shell(*d_exprManager, d_options);
     /* readCommand may return a sequence, see above. */
     *d_sin << "x : REAL;\n" << flush;
-    shell.readCommand();
+    Command* tmp = shell.readCommand();
     *d_sin << "ASSERT x > 0;\n" << flush;
     countCommands( shell, 1, 1 );
+    delete tmp;
   }
 
   void testEmptyLine() {