diff options
Diffstat (limited to 'src/options/options_handler.cpp')
-rw-r--r-- | src/options/options_handler.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options/options_handler.cpp b/src/options/options_handler.cpp index 1178f205d..d06c64517 100644 --- a/src/options/options_handler.cpp +++ b/src/options/options_handler.cpp @@ -159,7 +159,7 @@ void OptionsHandler::checkBvSatSolver(std::string option, SatSolverMode m) || m == SatSolverMode::KISSAT)) { if (options::bitblastMode() == options::BitblastMode::LAZY - && Options::current().wasSetByUser(options::bitblastMode)) + && d_options->bv.bitblastModeWasSetByUser) { throwLazyBBUnsupported(m); } @@ -189,7 +189,7 @@ void OptionsHandler::checkBitblastMode(std::string option, BitblastMode m) void OptionsHandler::setBitblastAig(std::string option, bool arg) { if(arg) { - if(Options::current().wasSetByUser(options::bitblastMode)) { + if (d_options->bv.bitblastModeWasSetByUser) { if (options::bitblastMode() != options::BitblastMode::EAGER) { throw OptionException("bitblast-aig must be used with eager bitblaster"); |