Fix memory leak in node_black unit test.
authorClark Barrett <barrett@cs.stanford.edu>
Sat, 5 Nov 2016 04:07:15 +0000 (21:07 -0700)
committerClark Barrett <barrett@cs.stanford.edu>
Sat, 5 Nov 2016 04:07:15 +0000 (21:07 -0700)
test/unit/expr/node_black.h

index 1f190b73de7a29e66367f6a0e157873cd4db4df8..eb0ff3ad3043893da270e5f204db0e6389d4ca6f 100644 (file)
@@ -56,6 +56,7 @@ public:
   }
 
   void tearDown() {
+    delete d_realType;
     delete d_booleanType;
     delete d_scope;
     delete d_nodeManager;