Skip to content

Commit

Permalink
Add missing modify call after updating eclass analysis
Browse files Browse the repository at this point in the history
  • Loading branch information
@gkronber
gkronber committed Sep 10, 2024
1 parent 7811095 commit 8cc9c88
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/EGraphs/egraph.jl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -361,6 +361,7 @@ function Base.union!(
)

g.classes[id_1] = new_eclass
modify!(g, new_eclass)

return true
end
Expand Down

1 comment on commit 8cc9c88

@gkronber
Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

corresponding egg code:
https://github.com/egraphs-good/egg/blob/1b2d004f63a01256047154f51568e61317cd4e89/src/egraph.rs#L1239

Please sign in to comment.