diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-09-18 20:13:11 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-09-18 20:13:11 +0200 |
| commit | 0b2152c61334b73d26f8e7f6f051f1ae64a2206d (patch) | |
| tree | 5c9fe4c71b81302ed0a4d8d281f20d24fde1d012 /src/theory/quantifiers_engine.h | |
| parent | eee182ae7479d688aec42f630d2aa6b2636cc2f9 (diff) | |
Fix bug in quantifiers engine where model construction could be skipped.
Diffstat (limited to 'src/theory/quantifiers_engine.h')
| -rw-r--r-- | src/theory/quantifiers_engine.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/theory/quantifiers_engine.h b/src/theory/quantifiers_engine.h index cc8baa1c0..5e8db2561 100644 --- a/src/theory/quantifiers_engine.h +++ b/src/theory/quantifiers_engine.h @@ -172,8 +172,6 @@ private: std::map< Node, bool > d_phase_req_waiting; /** has added lemma this round */ bool d_hasAddedLemma; - /** has a conflict been found */ - bool d_conflict; /** list of all instantiations produced for each quantifier */ std::map< Node, inst::InstMatchTrie > d_inst_match_trie; std::map< Node, inst::CDInstMatchTrie* > d_c_inst_match_trie; |