diff options
Diffstat (limited to 'src/theory/bv/bitblast/aig_bitblaster.cpp')
| -rw-r--r-- | src/theory/bv/bitblast/aig_bitblaster.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/bv/bitblast/aig_bitblaster.cpp b/src/theory/bv/bitblast/aig_bitblaster.cpp index fb5adb54c..4dd4419a4 100644 --- a/src/theory/bv/bitblast/aig_bitblaster.cpp +++ b/src/theory/bv/bitblast/aig_bitblaster.cpp @@ -24,7 +24,7 @@ #include "prop/sat_solver_factory.h" #include "smt/smt_statistics_registry.h" -#ifdef CVC4_USE_ABC +#ifdef CVC5_USE_ABC extern "C" { #include "base/abc/abc.h" @@ -168,7 +168,7 @@ AigBitblaster::AigBitblaster() solver = prop::SatSolverFactory::createKissat(smtStatisticsRegistry(), "AigBitblaster"); break; - default: CVC4_FATAL() << "Unknown SAT solver type"; + default: CVC5_FATAL() << "Unknown SAT solver type"; } d_satSolver.reset(solver); } @@ -497,4 +497,4 @@ AigBitblaster::Statistics::~Statistics() { } // namespace bv } // namespace theory } // namespace cvc5 -#endif // CVC4_USE_ABC +#endif // CVC5_USE_ABC |