diff options
Diffstat (limited to 'src/theory/quantifiers/ematching')
-rw-r--r-- | src/theory/quantifiers/ematching/candidate_generator.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/theory/quantifiers/ematching/candidate_generator.cpp b/src/theory/quantifiers/ematching/candidate_generator.cpp index 6ea6e50b3..3f404c17f 100644 --- a/src/theory/quantifiers/ematching/candidate_generator.cpp +++ b/src/theory/quantifiers/ematching/candidate_generator.cpp @@ -34,7 +34,10 @@ bool CandidateGenerator::isLegalCandidate( Node n ){ } CandidateGeneratorQE::CandidateGeneratorQE(QuantifiersEngine* qe, Node pat) - : CandidateGenerator(qe), d_term_iter(-1), d_term_iter_limit(0) + : CandidateGenerator(qe), + d_term_iter(-1), + d_term_iter_limit(0), + d_mode(cand_term_none) { d_op = qe->getTermDatabase()->getMatchOperator( pat ); Assert( !d_op.isNull() ); |