From 2564d8730f768a8305325d4b6cc08211d8a3281d Mon Sep 17 00:00:00 2001
From: "Christopher L. Conway" <christopherleeconway@gmail.com>
Date: Tue, 27 Jul 2010 20:54:33 +0000
Subject: Adding optional 'check' parameter to getType() methods

---
 src/expr/expr_template.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/expr/expr_template.cpp')

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 {
-- 
cgit v1.2.3