init scalar class members (coverity issues 1473720 and 1473721) (#2554)

diff --git a/src/theory/quantifiers/sygus/enum_stream_substitution.cpp b/src/theory/quantifiers/sygus/enum_stream_substitution.cpp
index 3a879640f9501870d84c1cdb1109294198f7a01f..b307876ed57122a993e5bd72f13bc48848dc0906 100644 (file)
--- 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)
 {
 }