diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-11 07:44:25 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-11 07:44:25 -0600 |
commit | c28f040e3b8c4aba150a61f0e42b1da7376b350e (patch) | |
tree | 8fe4bef06a9a88379ed3427caf51e91d49f8bf1f /test/api/smt2_compliance.cpp | |
parent | 59d8647b04f86421949390a3e958ffdf0df07665 (diff) |
Pass symbol manager to commands (#5410)
This PR passes the symbol manager to Command::invoke.
There are no behavior changes in this PR. This is in preparation for reimplementing several features in the parser related to symbols.
Diffstat (limited to 'test/api/smt2_compliance.cpp')
-rw-r--r-- | test/api/smt2_compliance.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/api/smt2_compliance.cpp b/test/api/smt2_compliance.cpp index 7f9035636..8adab327e 100644 --- a/test/api/smt2_compliance.cpp +++ b/test/api/smt2_compliance.cpp @@ -70,7 +70,7 @@ void testGetInfo(api::Solver* solver, const char* s) assert(c != NULL); cout << c << endl; stringstream ss; - c->invoke(solver, ss); + c->invoke(solver, symman.get(), ss); assert(p->nextCommand() == NULL); delete p; delete c; |