From 44d49562a5a9d98e818aabc2943a84630560c8ed Mon Sep 17 00:00:00 2001
From: Clark Barrett <barrett@cs.stanford.edu>
Date: Fri, 4 Nov 2016 21:07:15 -0700
Subject: [PATCH] Fix memory leak in node_black unit test.

---
 test/unit/expr/node_black.h | 1 +
 1 file changed, 1 insertion(+)

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