1 files changed, 2 insertions, 16 deletions
diff --git a/src/expr/node_value.cpp b/src/expr/node_value.cpp
index 36d634b8b..52e995bf4 100644
--- a/src/expr/node_value.cpp
+++ b/src/expr/node_value.cpp
@@ -27,6 +27,8 @@ namespace CVC4 {
 
 size_t NodeValue::next_id = 1;
 
+NodeValue NodeValue::s_null;
+
 NodeValue::NodeValue() :
   d_id(0),
   d_rc(MAX_RC),
@@ -64,22 +66,6 @@ void NodeValue::dec() {
   }
 }
 
-NodeValue::iterator NodeValue::begin() {
-  return node_iterator(d_children);
-}
-
-NodeValue::iterator NodeValue::end() {
-  return node_iterator(d_children + d_nchildren);
-}
-
-NodeValue::const_iterator NodeValue::begin() const {
-  return const_node_iterator(d_children);
-}
-
-NodeValue::const_iterator NodeValue::end() const {
-  return const_node_iterator(d_children + d_nchildren);
-}
-
 NodeValue::ev_iterator NodeValue::ev_begin() {
   return d_children;
 }