diff options
Diffstat (limited to 'src/main/command_executor.cpp')
| -rw-r--r-- | src/main/command_executor.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp index 7b20f3a1a..be90be3f0 100644 --- a/src/main/command_executor.cpp +++ b/src/main/command_executor.cpp @@ -50,7 +50,7 @@ void printStatsIncremental(std::ostream& out, const std::string& prvsStatsString CommandExecutor::CommandExecutor(Options& options) : d_solver(new api::Solver(&options)), - d_symman(new parser::SymbolManager(d_solver.get())), + d_symman(new SymbolManager(d_solver.get())), d_smtEngine(d_solver->getSmtEngine()), d_options(options), d_stats("driver"), @@ -200,7 +200,7 @@ bool CommandExecutor::doCommandSingleton(Command* cmd) } bool solverInvoke(api::Solver* solver, - parser::SymbolManager* sm, + SymbolManager* sm, Command* cmd, std::ostream* out) { |