diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-12-14 22:44:58 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-12-14 22:44:58 +0000 |
| commit | 5b04e6f0b29be4f376ab1f306529bf8a22111bd5 (patch) | |
| tree | f4569b4e67f617243ddb73ca7cf741607b43bac6 /src/expr/expr_template.cpp | |
| parent | ee64b3fa49a22b89ffb3e62d8d7144fc9b99754e (diff) | |
minor fixes to printing and parsing of CVC-language defined functions and lambdas; resolves bug 294
Diffstat (limited to 'src/expr/expr_template.cpp')
| -rw-r--r-- | src/expr/expr_template.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp index 29aa1a737..3c376f632 100644 --- a/src/expr/expr_template.cpp +++ b/src/expr/expr_template.cpp @@ -206,6 +206,7 @@ Expr Expr::getOperator() const { Type Expr::getType(bool check) const throw (TypeCheckingException) { ExprManagerScope ems(*this); Assert(d_node != NULL, "Unexpected NULL expression pointer!"); + CheckArgument(!d_node->isNull(), this, "Can't get type of null expression!"); return d_exprManager->getType(*this, check); } |