diff options
Diffstat (limited to 'src/theory/quantifiers/sygus/sygus_unif.cpp')
-rw-r--r-- | src/theory/quantifiers/sygus/sygus_unif.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/quantifiers/sygus/sygus_unif.cpp b/src/theory/quantifiers/sygus/sygus_unif.cpp index 4fcfd50eb..ab2b06a82 100644 --- a/src/theory/quantifiers/sygus/sygus_unif.cpp +++ b/src/theory/quantifiers/sygus/sygus_unif.cpp @@ -27,6 +27,7 @@ namespace theory { namespace quantifiers { SygusUnif::SygusUnif() + : d_qe(nullptr), d_tds(nullptr), d_check_sol(false), d_cond_count(0) { } |