From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 4 Apr 2018 23:17:02 +0000 (-0500)
Subject: Proper initialization and destruction of sygus unif (#1750)
X-Git-Tag: cvc5-1.0.0~5178
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=35ef221bb9a0abc4e1704305bd55db46aea99c2a;p=cvc5.git

Proper initialization and destruction of sygus unif (#1750)
---

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)
 {
 }
 
diff --git a/src/theory/quantifiers/sygus/sygus_unif.h b/src/theory/quantifiers/sygus/sygus_unif.h
index a2e81040a..728d613b2 100644
--- a/src/theory/quantifiers/sygus/sygus_unif.h
+++ b/src/theory/quantifiers/sygus/sygus_unif.h
@@ -49,7 +49,7 @@ class SygusUnif
 {
  public:
   SygusUnif();
-  ~SygusUnif();
+  virtual ~SygusUnif();
 
   /** initialize
    *