diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-01-08 07:57:57 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-01-21 02:25:18 -0800 |
commit | 200f52a726d2059c624368486e501592c3338fcc (patch) | |
tree | e8ccb77d9986aebeb5fda9a57b8fe41d3aa200a8 | |
parent | 25fb40b39d7edc66681fb22156597ac070162b1b (diff) |
Allow define-funs over regexps
-rw-r--r-- | src/expr/type_node.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/type_node.cpp b/src/expr/type_node.cpp index abca1e3ed..b72a40615 100644 --- a/src/expr/type_node.cpp +++ b/src/expr/type_node.cpp @@ -279,9 +279,9 @@ bool TypeNode::isFirstClass() const { getKind() != kind::CONSTRUCTOR_TYPE && getKind() != kind::SELECTOR_TYPE && getKind() != kind::TESTER_TYPE && - getKind() != kind::SEXPR_TYPE && + getKind() != kind::SEXPR_TYPE /* && ( getKind() != kind::TYPE_CONSTANT || - getConst<TypeConstant>() != REGEXP_TYPE ); + getConst<TypeConstant>() != REGEXP_TYPE ) */; } bool TypeNode::isWellFounded() const { |