diff options
-rw-r--r-- | test/unit/parser/parser_black.h | 3 |
1 files changed, 2 insertions, 1 deletions
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()); |