diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/expr/type_node.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/expr/type_node.cpp b/src/expr/type_node.cpp index 1f2963e18..5319e1e98 100644 --- a/src/expr/type_node.cpp +++ b/src/expr/type_node.cpp @@ -214,6 +214,8 @@ bool TypeNode::isComparableTo(TypeNode t) const { } } return true; + } else if(isSet() && t.isSet()) { + return getSetElementType().isComparableTo(t.getSetElementType()); } if(isPredicateSubtype()) { |