From: Clark Barrett <barrett@cs.stanford.edu>
Date: Sat, 5 Nov 2016 04:07:15 +0000 (-0700)
Subject: Fix memory leak in node_black unit test.
X-Git-Tag: cvc5-1.0.0~6002
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=44d49562a5a9d98e818aabc2943a84630560c8ed;p=cvc5.git

Fix memory leak in node_black unit test.
---

diff --git a/test/unit/expr/node_black.h b/test/unit/expr/node_black.h
index 1f190b73d..eb0ff3ad3 100644
--- a/test/unit/expr/node_black.h
+++ b/test/unit/expr/node_black.h
@@ -56,6 +56,7 @@ public:
   }
 
   void tearDown() {
+    delete d_realType;
     delete d_booleanType;
     delete d_scope;
     delete d_nodeManager;