Skip to content

Commit

Permalink
Brought back fix
Browse files Browse the repository at this point in the history
  • Loading branch information
DavyLandman committed Jan 12, 2024
1 parent e157760 commit 862e33e
Showing 1 changed file with 2 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -647,8 +647,9 @@ else if (values instanceof Set) {
done.add(lhs);
IValue rhs;
while ((rhs = todo.poll()) != null) {
boolean rhsDone = done.contains(rhs);
for (IValue composed : result.get(rhs)) {
if (result.__insert(lhs, composed) && !done.contains(composed)) {
if (result.__insert(lhs, composed) && !rhsDone) {
todo.push(composed);
}
}
Expand Down

0 comments on commit 862e33e

Please sign in to comment.