diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-09-30 14:14:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-30 21:14:59 +0000 |
| commit | 56cd2e8f584ed36fd76144a622355511a4b09935 (patch) | |
| tree | 94a2331dd82886133c2183445a80010fcb02538e /src/api | |
| parent | b106c95296860cf89ea7cef00c8e8187409e755e (diff) | |
Rename files smt_engine.(cpp|h) to solver_engine.(cpp|h). (#7279)
This is in preparation for renaming SmtEngine to SolverEngine.
Diffstat (limited to 'src/api')
| -rw-r--r-- | src/api/cpp/cvc5.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/api/cpp/cvc5.cpp b/src/api/cpp/cvc5.cpp index 42690586a..a8b60a94d 100644 --- a/src/api/cpp/cvc5.cpp +++ b/src/api/cpp/cvc5.cpp @@ -64,8 +64,8 @@ #include "proof/unsat_core.h" #include "smt/env.h" #include "smt/model.h" -#include "smt/smt_engine.h" #include "smt/smt_mode.h" +#include "smt/solver_engine.h" #include "theory/datatypes/tuple_project_op.h" #include "theory/logic_info.h" #include "theory/theory_model.h" |