diff options
Diffstat (limited to 'src/expr/expr_template.cpp')
-rw-r--r-- | src/expr/expr_template.cpp | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp index dfbe179be..a6cdedd00 100644 --- a/src/expr/expr_template.cpp +++ b/src/expr/expr_template.cpp @@ -40,14 +40,6 @@ namespace CVC4 { class ExprManager; -namespace expr { - -const int ExprSetDepth::s_iosIndex = std::ios_base::xalloc(); -const int ExprPrintTypes::s_iosIndex = std::ios_base::xalloc(); -const int ExprDag::s_iosIndex = std::ios_base::xalloc(); - -}/* CVC4::expr namespace */ - std::ostream& operator<<(std::ostream& out, const TypeCheckingException& e) { return out << e.getMessage() << ": " << e.getExpression(); } |