diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-11 12:56:03 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-11 12:56:03 -0600 |
commit | 80930ce4f6d21b417028a5ec207ddfbd7d85e66d (patch) | |
tree | 6c616c78fc05609983d1d4742fa5d0e69b8aa22e /test/unit/main | |
parent | 7d3198d18304eb6ea5f087a82defb4952fce31b9 (diff) |
Move symbol manager to src/expr/ (#5420)
This is required since symbol manager will use context dependent data structures (in its cpp).
This is required since classes in src/parser/ are not allowed to include private headers.
Diffstat (limited to 'test/unit/main')
-rw-r--r-- | test/unit/main/interactive_shell_black.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/unit/main/interactive_shell_black.h b/test/unit/main/interactive_shell_black.h index af6960ff7..993f24690 100644 --- a/test/unit/main/interactive_shell_black.h +++ b/test/unit/main/interactive_shell_black.h @@ -22,12 +22,12 @@ #include "api/cvc4cpp.h" #include "expr/expr_manager.h" +#include "expr/symbol_manager.h" #include "main/interactive_shell.h" #include "options/base_options.h" #include "options/language.h" #include "options/options.h" #include "parser/parser_builder.h" -#include "parser/symbol_manager.h" #include "smt/command.h" using namespace CVC4; @@ -45,7 +45,7 @@ class InteractiveShellBlack : public CxxTest::TestSuite d_options.set(options::inputLanguage, language::input::LANG_CVC4); d_symman.reset(nullptr); d_solver.reset(new api::Solver(&d_options)); - d_symman.reset(new parser::SymbolManager(d_solver.get())); + d_symman.reset(new SymbolManager(d_solver.get())); } void tearDown() override @@ -99,7 +99,7 @@ class InteractiveShellBlack : public CxxTest::TestSuite private: std::unique_ptr<api::Solver> d_solver; - std::unique_ptr<parser::SymbolManager> d_symman; + std::unique_ptr<SymbolManager> d_symman; Options d_options; stringstream* d_sin; stringstream* d_sout; |