diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2021-08-16 10:22:53 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2021-08-16 10:22:53 -0500 |
| commit | d31e295c1ea31381dd5433d81b53aaa1e5ebf04c (patch) | |
| tree | 7c8bd8e35701f4e94ab43b3f064ead1cd42bfef3 /src/smt/set_defaults.cpp | |
| parent | bc1d07d93759c7966828be056caee21294059794 (diff) | |
Fix from merge
Diffstat (limited to 'src/smt/set_defaults.cpp')
| -rw-r--r-- | src/smt/set_defaults.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/smt/set_defaults.cpp b/src/smt/set_defaults.cpp index c9e5290c1..464c7fe6e 100644 --- a/src/smt/set_defaults.cpp +++ b/src/smt/set_defaults.cpp @@ -48,9 +48,8 @@ namespace smt { void setDefaults(LogicInfo& logic, Options& opts, bool isInternalSubsolver) { - Options& opts = Options::current(); // TEMPORARY for testing - if (opts.proof.proofReq() && !opts.smt.produceProofs) + if (opts.proof.proofReq && !opts.smt.produceProofs) { AlwaysAssert(false) << "Fail due to --proof-req " << opts.smt.produceProofsWasSetByUser; |