diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2018-10-01 16:37:31 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-01 16:37:31 -0500 |
commit | 6b718154dfbf5e9f8506d6911201bb7398ba8b48 (patch) | |
tree | 1da68d50dc767916ae3ba8fb924627e4afb56a73 | |
parent | d41c0aa8c7ec8d14ce07f5817da38895598e55da (diff) |
init scalar class members (coverity issues 1473720 and 1473721) (#2554)
-rw-r--r-- | src/theory/quantifiers/sygus/enum_stream_substitution.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/quantifiers/sygus/enum_stream_substitution.cpp b/src/theory/quantifiers/sygus/enum_stream_substitution.cpp index 3a879640f..b307876ed 100644 --- a/src/theory/quantifiers/sygus/enum_stream_substitution.cpp +++ b/src/theory/quantifiers/sygus/enum_stream_substitution.cpp @@ -29,7 +29,7 @@ namespace theory { namespace quantifiers { EnumStreamPermutation::EnumStreamPermutation(quantifiers::TermDbSygus* tds) - : d_tds(tds) + : d_tds(tds), d_first(true), d_curr_ind(0) { } @@ -323,7 +323,7 @@ bool EnumStreamPermutation::PermutationState::getNextPermutation() } EnumStreamSubstitution::EnumStreamSubstitution(quantifiers::TermDbSygus* tds) - : d_tds(tds), d_stream_permutations(tds) + : d_tds(tds), d_stream_permutations(tds), d_curr_ind(0) { } |