diff options
Diffstat (limited to 'src/theory/quantifiers')
| -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) { } |