diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-10-12 10:53:03 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-12 17:53:03 +0000 |
| commit | 077c191da9739ebb09e689a4809abbf779d99593 (patch) | |
| tree | 03d12ca3bdf0952eb950ea4eb91b6135b4d6fff8 /src/smt/smt_solver.cpp | |
| parent | 2cd8877eef8505c868057e4d9fa087542ed46eff (diff) | |
Rename SmtEngineState to SolverEngineState. (#7344)
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), |