From ef000094d2d6a024c7eac490b241259b38e07225 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 8 Oct 2014 20:16:58 -0400
Subject: Context-dependent expr attributes are now attached to a specific
 SmtEngine, and the SAT context is owned by the SmtEngine.

---
 test/unit/expr/node_manager_white.h | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'test/unit/expr/node_manager_white.h')

diff --git a/test/unit/expr/node_manager_white.h b/test/unit/expr/node_manager_white.h
index 7bc279f47..aaa3256dd 100644
--- a/test/unit/expr/node_manager_white.h
+++ b/test/unit/expr/node_manager_white.h
@@ -19,33 +19,28 @@
 #include <string>
 
 #include "expr/node_manager.h"
-#include "context/context.h"
 
 #include "util/rational.h"
 #include "util/integer.h"
 
 using namespace CVC4;
 using namespace CVC4::expr;
-using namespace CVC4::context;
 
 class NodeManagerWhite : public CxxTest::TestSuite {
 
-  Context* d_ctxt;
   NodeManager* d_nm;
   NodeManagerScope* d_scope;
 
 public:
 
   void setUp() {
-    d_ctxt = new Context();
-    d_nm = new NodeManager(d_ctxt, NULL);
+    d_nm = new NodeManager(NULL);
     d_scope = new NodeManagerScope(d_nm);
   }
 
   void tearDown() {
     delete d_scope;
     delete d_nm;
-    delete d_ctxt;
   }
 
   void testMkConstRational() {
-- 
cgit v1.2.3