diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-06-07 19:00:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-07 17:00:10 +0000 |
| commit | 4cb2b23322794fc684db4f4a9f9e14e0157c83b0 (patch) | |
| tree | c81c3b2db0deb036c947d0e3cc45475eca725043 /src/prop | |
| parent | 029e5378cef6a0432c25ebaab044a69440d398cc (diff) | |
Remove `Options::wasSetByUser()` (#6682)
This PR removes the next heavily specialized template function Options::wasSetByUser() in favor of direct access to the *WasSetByUser flags.
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/minisat/simp/SimpSolver.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/minisat/simp/SimpSolver.cc b/src/prop/minisat/simp/SimpSolver.cc index 74cbadfc2..04db5e3cb 100644 --- a/src/prop/minisat/simp/SimpSolver.cc +++ b/src/prop/minisat/simp/SimpSolver.cc @@ -76,7 +76,7 @@ SimpSolver::SimpSolver(cvc5::prop::TheoryProxy* proxy, n_touched(0) { if(options::minisatUseElim() && - Options::current().wasSetByUser(options::minisatUseElim) && + Options::current().prop.minisatUseElimWasSetByUser && enableIncremental) { WarningOnce() << "Incremental mode incompatible with --minisat-elim" << std::endl; } |