Skip to content

Commit

Permalink
fixed bug in testing for reflexive relation in transitive closure code
Browse files Browse the repository at this point in the history
  • Loading branch information
jurgenvinju committed Jan 15, 2024
1 parent 25a0c65 commit 1098c18
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -547,7 +547,7 @@ public ISet closure() {
Type tupleType = getElementType();
assert tupleType.getArity() == 2;
Type keyType = tupleType.getFieldType(0);
Type valueType = tupleType.getFieldType(0);
Type valueType = tupleType.getFieldType(1);

if (!keyType.comparable(valueType)) {
// if someone tries, then we have a very quick answer
Expand Down

0 comments on commit 1098c18

Please sign in to comment.