diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2016-11-12 15:25:42 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-12 15:25:42 -0800 |
commit | 86a731319e7dd588ef61b061ad24388c53454c47 (patch) | |
tree | d800df4fbbcceebf8e4638e50b753152e2d37620 /test | |
parent | f5e33cfc8cabd5d66f184471f787a7cb8f8d3c6c (diff) | |
parent | 10faf3ad3b9d5e40860305d3f2735752fe16ed52 (diff) |
Merge pull request #106 from timothy-king/cvc-parser-exception-leaks
Adding garbage collection for the CVC Parser for Commands when except…
Diffstat (limited to 'test')
-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 */ |