diff options
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); |