From 56cd2e8f584ed36fd76144a622355511a4b09935 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Thu, 30 Sep 2021 14:14:59 -0700 Subject: Rename files smt_engine.(cpp|h) to solver_engine.(cpp|h). (#7279) This is in preparation for renaming SmtEngine to SolverEngine. --- src/theory/bv/bitblast/eager_bitblaster.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/theory/bv/bitblast/eager_bitblaster.cpp') 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" -- cgit v1.2.3