diff options
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/expr_manager.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/expr/expr_manager.h b/src/expr/expr_manager.h index 67fa0664a..f5edc5464 100644 --- a/src/expr/expr_manager.h +++ b/src/expr/expr_manager.h @@ -24,8 +24,8 @@ namespace CVC4 { class Expr; class Type; -class BooleanType; -class FunctionType; +class BooleanType; +class FunctionType; class KindType; class SmtEngine; class NodeManager; @@ -91,12 +91,12 @@ public: Expr mkExpr(Kind kind, const std::vector<Expr>& children); /** Make a function type from domain to range. */ - const FunctionType* - mkFunctionType(const Type* domain, + const FunctionType* + mkFunctionType(const Type* domain, const Type* range); /** Make a function type with input types from argTypes. */ - const FunctionType* + const FunctionType* mkFunctionType(const std::vector<const Type*>& argTypes, const Type* range); |