diff options
Diffstat (limited to 'src/expr')
| -rw-r--r-- | src/expr/expr_template.cpp | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp index bc7f0f47c..ed643b830 100644 --- a/src/expr/expr_template.cpp +++ b/src/expr/expr_template.cpp @@ -53,8 +53,12 @@ std::ostream& operator<<(std::ostream& out, const TypeCheckingException& e) { } std::ostream& operator<<(std::ostream& out, const Expr& e) { - ExprManagerScope ems(*e.getExprManager()); - return out << e.getNode(); + if(e.isNull()) { + return out << "null"; + } else { + ExprManagerScope ems(*e.getExprManager()); + return out << e.getNode(); + } } TypeCheckingException::TypeCheckingException(const TypeCheckingException& t) throw() : |