diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-10-08 20:16:57 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-08 20:16:57 -0700 |
| commit | f0340df210f2bb2a0a5fd95e0d9e6a8548cf1fc7 (patch) | |
| tree | e29569290d9df29739b4391ef326fa9a8bdf507b /src/smt | |
| parent | 0d310d6716d1ab679cd466a2e47e5c0f6cdd8569 (diff) | |
Fix compiler warnings. (#2601)
Diffstat (limited to 'src/smt')
| -rw-r--r-- | src/smt/smt_engine.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 334879993..c9aef9828 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -1899,11 +1899,11 @@ void SmtEngine::setDefaults() { } //counterexample-guided instantiation for non-sygus // enable if any possible quantifiers with arithmetic, datatypes or bitvectors - if (d_logic.isQuantified() - && (d_logic.isTheoryEnabled(THEORY_ARITH) - || d_logic.isTheoryEnabled(THEORY_DATATYPES) - || d_logic.isTheoryEnabled(THEORY_BV) - || d_logic.isTheoryEnabled(THEORY_FP)) + if ((d_logic.isQuantified() + && (d_logic.isTheoryEnabled(THEORY_ARITH) + || d_logic.isTheoryEnabled(THEORY_DATATYPES) + || d_logic.isTheoryEnabled(THEORY_BV) + || d_logic.isTheoryEnabled(THEORY_FP))) || options::cbqiAll()) { if( !options::cbqi.wasSetByUser() ){ |