From 35ef221bb9a0abc4e1704305bd55db46aea99c2a Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 4 Apr 2018 18:17:02 -0500
Subject: [PATCH] Proper initialization and destruction of sygus unif (#1750)

---
 src/theory/quantifiers/sygus/sygus_unif.cpp | 1 +
 src/theory/quantifiers/sygus/sygus_unif.h   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

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
    *
-- 
2.30.2