diff options
Diffstat (limited to 'src/smt/smt_solver.cpp')
-rw-r--r-- | src/smt/smt_solver.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/smt_solver.cpp b/src/smt/smt_solver.cpp index 41f9a67b1..bd87ca35c 100644 --- a/src/smt/smt_solver.cpp +++ b/src/smt/smt_solver.cpp @@ -21,8 +21,8 @@ #include "smt/assertions.h" #include "smt/env.h" #include "smt/preprocessor.h" -#include "smt/smt_engine_state.h" #include "smt/solver_engine.h" +#include "smt/solver_engine_state.h" #include "smt/solver_engine_stats.h" #include "theory/logic_info.h" #include "theory/theory_engine.h" @@ -34,7 +34,7 @@ namespace cvc5 { namespace smt { SmtSolver::SmtSolver(Env& env, - SmtEngineState& state, + SolverEngineState& state, AbstractValues& abs, SolverEngineStatistics& stats) : d_env(env), |