diff options
Diffstat (limited to 'test/api/ouroborous.cpp')
| -rw-r--r-- | test/api/ouroborous.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/test/api/ouroborous.cpp b/test/api/ouroborous.cpp index 5ed240233..efca53ab3 100644 --- a/test/api/ouroborous.cpp +++ b/test/api/ouroborous.cpp @@ -111,8 +111,7 @@ void runTestString(std::string instr, InputLanguage instrlang = input::LANG_SMTL int runTest() { std::unique_ptr<api::Solver> solver = std::unique_ptr<api::Solver>(new api::Solver()); - std::unique_ptr<parser::SymbolManager> symman( - new parser::SymbolManager(solver.get())); + std::unique_ptr<SymbolManager> symman(new SymbolManager(solver.get())); psr = ParserBuilder(solver.get(), symman.get(), "internal-buffer") .withStringInput(declarations) .withInputLanguage(input::LANG_SMTLIB_V2) |