diff options
| author | Tim King <taking@google.com> | 2016-11-11 22:13:22 -0800 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2016-11-11 22:13:22 -0800 |
| commit | 10faf3ad3b9d5e40860305d3f2735752fe16ed52 (patch) | |
| tree | 5b1e837b5b6bf48984f22d7d42fe2ba7ae2f734e /test/unit/expr | |
| parent | 51beecbceb28f30004bda32e0babf201bd1f94d6 (diff) | |
Adding garbage collection for the CVC Parser for Commands when exceptions are thrown.
Diffstat (limited to 'test/unit/expr')
| -rw-r--r-- | test/unit/expr/node_builder_black.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/expr/node_builder_black.h b/test/unit/expr/node_builder_black.h index c21abbd75..b3f51a197 100644 --- a/test/unit/expr/node_builder_black.h +++ b/test/unit/expr/node_builder_black.h @@ -146,9 +146,9 @@ public: /* Extreme size tests */ - NodeBuilder<0> ws_size_0(); + NodeBuilder<0> ws_size_0; - NodeBuilder<LARGE_K> ws_size_large(); + NodeBuilder<LARGE_K> ws_size_large; /* CopyConstructors */ |