diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-08-18 22:06:28 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-08-19 13:27:41 -0400 |
commit | ca72dd6bc0fdc63391b568e4cbcf289300e295dc (patch) | |
tree | afb1742ae852eca166d19f172676173fbaa3ad6a /src | |
parent | 331ec1abc311a6be85eb5adc0ca70f4e3c0c79a2 (diff) |
fix bug 605
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()) { |