1 files changed, 0 insertions, 6 deletions
diff --git a/src/expr/node.cpp b/src/expr/node.cpp
index 2b6417e8a..6b689034a 100644
--- a/src/expr/node.cpp
+++ b/src/expr/node.cpp
@@ -24,12 +24,6 @@
 using namespace std;
 
 namespace CVC4 {
-namespace expr {
-
-const int NodeSetDepth::s_iosIndex = std::ios_base::xalloc();
-
-}/* CVC4::expr namespace */
-
 
 TypeCheckingExceptionPrivate::TypeCheckingExceptionPrivate(TNode node, std::string message)
 : Exception(message), d_node(new Node(node))