From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 10 Jan 2020 20:25:54 +0000 (-0800)
Subject: Fix enum names in AIG bitblaster. (#3599)
X-Git-Tag: cvc5-1.0.0~3739
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=663f301280afd40895ea8398a5a77acd8e89a08e;p=cvc5.git

Fix enum names in AIG bitblaster. (#3599)
---

diff --git a/src/theory/bv/bitblast/aig_bitblaster.cpp b/src/theory/bv/bitblast/aig_bitblaster.cpp
index c2bc9e6e8..ea9867b0f 100644
--- a/src/theory/bv/bitblast/aig_bitblaster.cpp
+++ b/src/theory/bv/bitblast/aig_bitblaster.cpp
@@ -146,7 +146,7 @@ AigBitblaster::AigBitblaster()
   prop::SatSolver* solver = nullptr;
   switch (options::bvSatSolver())
   {
-    case SAT_SOLVER_MINISAT:
+    case options::SatSolverMode::MINISAT:
     {
       prop::BVSatSolverInterface* minisat =
           prop::SatSolverFactory::createMinisat(
@@ -156,11 +156,11 @@ AigBitblaster::AigBitblaster()
       solver = minisat;
       break;
     }
-    case SAT_SOLVER_CADICAL:
+    case options::SatSolverMode::CADICAL:
       solver = prop::SatSolverFactory::createCadical(smtStatisticsRegistry(),
                                                      "AigBitblaster");
       break;
-    case SAT_SOLVER_CRYPTOMINISAT:
+    case options::SatSolverMode::CRYPTOMINISAT:
       solver = prop::SatSolverFactory::createCryptoMinisat(
           smtStatisticsRegistry(), "AigBitblaster");
       break;