diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-07-27 20:54:33 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-07-27 20:54:33 +0000 |
commit | 2564d8730f768a8305325d4b6cc08211d8a3281d (patch) | |
tree | 56abf63023e3ffdadde2e7747dd2db7661962664 /src/expr/expr_manager_template.h | |
parent | 62ec86743289b26241d69b1701d4b3f547ee2bed (diff) |
Adding optional 'check' parameter to getType() methods
Diffstat (limited to 'src/expr/expr_manager_template.h')
-rw-r--r-- | src/expr/expr_manager_template.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h index 450d7fc4d..3b5b0e0f4 100644 --- a/src/expr/expr_manager_template.h +++ b/src/expr/expr_manager_template.h @@ -221,7 +221,8 @@ public: SortType mkSort(const std::string& name) const; /** Get the type of an expression */ - Type getType(const Expr& e) throw (TypeCheckingException); + Type getType(const Expr& e, bool check = false) + throw (TypeCheckingException); // variables are special, because duplicates are permitted Expr mkVar(const std::string& name, const Type& type); |