diff options
| author | Clark Barrett <barrett@cs.stanford.edu> | 2016-11-04 21:07:15 -0700 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.stanford.edu> | 2016-11-04 21:07:15 -0700 |
| commit | 44d49562a5a9d98e818aabc2943a84630560c8ed (patch) | |
| tree | 96842caa9566de44a03a079b7e875f3e04d632d4 | |
| parent | 60cd271c46e7b250e3799f1c3b1fc20015723999 (diff) | |
Fix memory leak in node_black unit test.
| -rw-r--r-- | test/unit/expr/node_black.h | 1 |
1 files changed, 1 insertions, 0 deletions
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; |