diff options
Diffstat (limited to 'src/expr/expr_template.cpp')
| -rw-r--r-- | src/expr/expr_template.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp index fc67bcba1..48acd2588 100644 --- a/src/expr/expr_template.cpp +++ b/src/expr/expr_template.cpp @@ -181,10 +181,10 @@ Expr Expr::getOperator() const { return Expr(d_exprManager, new Node(d_node->getOperator())); } -Type Expr::getType() const throw (TypeCheckingException) { +Type Expr::getType(bool check) const throw (TypeCheckingException) { ExprManagerScope ems(*this); Assert(d_node != NULL, "Unexpected NULL expression pointer!"); - return d_exprManager->getType(*this); + return d_exprManager->getType(*this, check); } std::string Expr::toString() const { |