diff options
Diffstat (limited to 'src/expr/node.cpp')
-rw-r--r-- | src/expr/node.cpp | 6 |
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)) |