diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-06-02 09:09:15 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-02 09:09:15 -0700 |
| commit | 50edf184492d20f4acb7b8d82f3843f3146f77d5 (patch) | |
| tree | 2a1bbdbd59dc7aefca114b108c646eb6f2dd933e /test/unit/parser | |
| parent | b826fc8ae95fc13c4e2be45e39961199392a4dda (diff) | |
New C++ API: Keep reference to solver object in non-solver objects. (#4549)
This is in preparation for adding guards to ensure that sort and term
arguments belong to the same solver.
Diffstat (limited to 'test/unit/parser')
| -rw-r--r-- | test/unit/parser/parser_builder_black.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/parser/parser_builder_black.h b/test/unit/parser/parser_builder_black.h index 44bb9293b..2962439ff 100644 --- a/test/unit/parser/parser_builder_black.h +++ b/test/unit/parser/parser_builder_black.h @@ -111,7 +111,7 @@ class ParserBuilderBlack : public CxxTest::TestSuite TS_ASSERT(parser != NULL); api::Term e = parser->nextExpression(); - TS_ASSERT_EQUALS(e, d_solver->getExprManager()->mkConst(true)); + TS_ASSERT_EQUALS(e, d_solver->mkTrue()); e = parser->nextExpression(); TS_ASSERT(e.isNull()); |