From 5d6664a43c8ea3400b0f38797c937568d8d0ca2a Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Mon, 24 Jun 2019 03:23:15 -0700
Subject: Fix memory leak in unit test (#3068)

PR #3062 changed `Smt2::setLogic()` to return a heap-allocated command,
which didn't get cleaned up by our `parser_black` unit test. This commit
fixes the memory leak.
---
 test/unit/parser/parser_black.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h
index f2f5f24b6..13beedd63 100644
--- a/test/unit/parser/parser_black.h
+++ b/test/unit/parser/parser_black.h
@@ -141,7 +141,8 @@ class ParserBlack
       if (d_lang == LANG_SMTLIB_V2)
       {
         // Use QF_LIA to make multiplication ("*") available
-        static_cast<Smt2*>(parser)->setLogic("QF_LIA");
+        std::unique_ptr<Command> cmd(
+            static_cast<Smt2*>(parser)->setLogic("QF_LIA"));
       }
 
       TS_ASSERT(!parser->done());
-- 
cgit v1.2.3