diff --git a/src/EGraphs/egraph.jl b/src/EGraphs/egraph.jl index 5937ddad..40b51259 100644 --- a/src/EGraphs/egraph.jl +++ b/src/EGraphs/egraph.jl @@ -361,6 +361,7 @@ function Base.union!( ) g.classes[id_1] = new_eclass + modify!(g, new_eclass) return true end