diff options
Diffstat (limited to 'test/unit/expr/node_black.h')
-rw-r--r-- | test/unit/expr/node_black.h | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/test/unit/expr/node_black.h b/test/unit/expr/node_black.h index c11d5cf86..96f02c489 100644 --- a/test/unit/expr/node_black.h +++ b/test/unit/expr/node_black.h @@ -27,24 +27,28 @@ using namespace CVC4; using namespace CVC4::kind; +using namespace CVC4::context; using namespace std; class NodeBlack : public CxxTest::TestSuite { private: - NodeManager *d_nodeManager; - NodeManagerScope *d_scope; + Context* d_ctxt; + NodeManager* d_nodeManager; + NodeManagerScope* d_scope; public: void setUp() { - d_nodeManager = new NodeManager(); + d_ctxt = new Context; + d_nodeManager = new NodeManager(d_ctxt); d_scope = new NodeManagerScope(d_nodeManager); } void tearDown() { delete d_scope; delete d_nodeManager; + delete d_ctxt; } bool imp(bool a, bool b) const { |