1 files changed, 1 insertions, 6 deletions
diff --git a/test/unit/expr/node_manager_black.h b/test/unit/expr/node_manager_black.h
index 9ca086d06..b94e6a691 100644
--- a/test/unit/expr/node_manager_black.h
+++ b/test/unit/expr/node_manager_black.h
@@ -21,7 +21,6 @@
 
 #include "expr/node_manager.h"
 #include "expr/node_manager_attributes.h"
-#include "context/context.h"
 
 #include "util/rational.h"
 #include "util/integer.h"
@@ -29,26 +28,22 @@
 using namespace CVC4;
 using namespace CVC4::expr;
 using namespace CVC4::kind;
-using namespace CVC4::context;
 
 class NodeManagerBlack : public CxxTest::TestSuite {
 
-  Context* d_context;
   NodeManager* d_nodeManager;
   NodeManagerScope* d_scope;
 
 public:
 
   void setUp() {
-    d_context = new Context;
-    d_nodeManager = new NodeManager(d_context, NULL);
+    d_nodeManager = new NodeManager(NULL);
     d_scope = new NodeManagerScope(d_nodeManager);
   }
 
   void tearDown() {
     delete d_scope;
     delete d_nodeManager;
-    delete d_context;
   }
 
   void testMkNodeNot() {