diff options
Diffstat (limited to 'src/prop/minisat/minisat.cpp')
-rw-r--r-- | src/prop/minisat/minisat.cpp | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/src/prop/minisat/minisat.cpp b/src/prop/minisat/minisat.cpp index 53ab2eccf..23a740a26 100644 --- a/src/prop/minisat/minisat.cpp +++ b/src/prop/minisat/minisat.cpp @@ -17,13 +17,14 @@ **/ #include "prop/minisat/minisat.h" + +#include "options/decision_options.h" +#include "options/prop_options.h" +#include "options/smt_options.h" #include "prop/minisat/simp/SimpSolver.h" -#include "prop/options.h" -#include "smt/options.h" -#include "decision/options.h" -using namespace CVC4; -using namespace CVC4::prop; +namespace CVC4 { +namespace prop { //// DPllMinisatSatSolver @@ -270,3 +271,6 @@ void MinisatSatSolver::Statistics::init(Minisat::SimpSolver* d_minisat){ d_statMaxLiterals.setData(d_minisat->max_literals); d_statTotLiterals.setData(d_minisat->tot_literals); } + +} /* namespace CVC4::prop */ +} /* namespace CVC4 */ |