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/theory/bv/bitblast/eager_bitblaster.cpp | |
| 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/theory/bv/bitblast/eager_bitblaster.cpp')
| -rw-r--r-- | src/theory/bv/bitblast/eager_bitblaster.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/bv/bitblast/eager_bitblaster.cpp b/src/theory/bv/bitblast/eager_bitblaster.cpp index dd3a3e9ce..9e3efa3bf 100644 --- a/src/theory/bv/bitblast/eager_bitblaster.cpp +++ b/src/theory/bv/bitblast/eager_bitblaster.cpp @@ -21,8 +21,8 @@ #include "options/smt_options.h" #include "prop/cnf_stream.h" #include "prop/sat_solver_factory.h" -#include "smt/smt_engine.h" #include "smt/smt_statistics_registry.h" +#include "smt/solver_engine.h" #include "theory/bv/bv_solver_layered.h" #include "theory/bv/theory_bv.h" #include "theory/theory_model.h" |