From 8cc9c880170725855ae0b1e95b0656b9d08346bc Mon Sep 17 00:00:00 2001
From: Gabriel Kronberger <gabriel.kronberger@heuristiclab.com>
Date: Tue, 10 Sep 2024 12:45:25 +0200
Subject: [PATCH] Add missing modify call after updating eclass analysis

---
 src/EGraphs/egraph.jl | 1 +
 1 file changed, 1 insertion(+)

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