diff options
Diffstat (limited to 'src/expr/node.cpp')
| -rw-r--r-- | src/expr/node.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/expr/node.cpp b/src/expr/node.cpp index 5c3f1b771..bf1997381 100644 --- a/src/expr/node.cpp +++ b/src/expr/node.cpp @@ -16,11 +16,14 @@ #include "expr/node.h" #include "util/output.h" +#include <iostream> + +using namespace std; + namespace CVC4 { namespace expr { -#ifdef CVC4_DEBUG -#endif /* CVC4_DEBUG */ +const int NodeSetDepth::s_iosIndex = std::ios_base::xalloc(); }/* CVC4::expr namespace */ }/* CVC4 namespace */ |