From 6b718154dfbf5e9f8506d6911201bb7398ba8b48 Mon Sep 17 00:00:00 2001 From: Haniel Barbosa Date: Mon, 1 Oct 2018 16:37:31 -0500 Subject: [PATCH] init scalar class members (coverity issues 1473720 and 1473721) (#2554) --- src/theory/quantifiers/sygus/enum_stream_substitution.cpp | 4 ++-- 1 file 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) { } -- 2.30.2