killing expr into node...

2 files changed, 6 insertions, 6 deletions

diff --git a/test/unit/expr/expr_black.h b/test/unit/expr/expr_black.h
index 5f1deee8a..ad70bec91 100644
--- a/test/unit/expr/expr_black.h
+++ b/test/unit/expr/expr_black.h
@@ -1,4 +1,4 @@
-/* Black box testing of CVC4::Expr. */
+/* Black box testing of CVC4::Node. */
 
 #include <cxxtest/TestSuite.h>
 
@@ -10,10 +10,10 @@ class ExprBlack : public CxxTest::TestSuite {
 public:
 
   void testNull() {
-    Expr::s_null;
+    Node::s_null;
   }
 
   void testCopyCtor() {
-    Expr e(Expr::s_null);
+    Node e(Node::s_null);
   }
 };
diff --git a/test/unit/expr/expr_white.h b/test/unit/expr/expr_white.h
index 3da360126..6b48d66e6 100644
--- a/test/unit/expr/expr_white.h
+++ b/test/unit/expr/expr_white.h
@@ -1,4 +1,4 @@
-/* White box testing of CVC4::Expr. */
+/* White box testing of CVC4::Node. */
 
 #include <cxxtest/TestSuite.h>
 
@@ -10,10 +10,10 @@ class ExprWhite : public CxxTest::TestSuite {
 public:
 
   void testNull() {
-    Expr::s_null;
+    Node::s_null;
   }
 
   void testCopyCtor() {
-    Expr e(Expr::s_null);
+    Node e(Node::s_null);
   }
 };