diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-27 22:41:50 -0500 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-27 20:41:50 -0700 |
commit | 3cf5492a8943b71bb4021f1a78cf28cdfafa4289 (patch) | |
tree | 8beca43fc5c5c085d20afc3c68c8dd829fa1ef57 /src/theory/quantifiers/candidate_rewrite_database.cpp | |
parent | 240c3b41f7f1b907e006a12465037278df05ade1 (diff) |
Address more coverity warnings (#2394)
Diffstat (limited to 'src/theory/quantifiers/candidate_rewrite_database.cpp')
-rw-r--r-- | src/theory/quantifiers/candidate_rewrite_database.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/candidate_rewrite_database.cpp b/src/theory/quantifiers/candidate_rewrite_database.cpp index 3df3717c3..e5df8db8a 100644 --- a/src/theory/quantifiers/candidate_rewrite_database.cpp +++ b/src/theory/quantifiers/candidate_rewrite_database.cpp @@ -321,7 +321,7 @@ bool CandidateRewriteDatabase::addTerm(Node sol, std::ostream& out) CandidateRewriteDatabaseGen::CandidateRewriteDatabaseGen( std::vector<Node>& vars, unsigned nsamples) - : d_vars(vars.begin(), vars.end()), d_nsamples(nsamples) + : d_qe(nullptr), d_vars(vars.begin(), vars.end()), d_nsamples(nsamples) { } |