From 405395d9440f55808bd6e3e7014125f4adeda488 Mon Sep 17 00:00:00 2001
From: Saul Shanabrook <s.shanabrook@gmail.com>
Date: Wed, 11 Sep 2024 18:34:32 -0400
Subject: [PATCH] Update egraph serialized to merged version

---
 Cargo.lock | 2 +-
 Cargo.toml | 5 ++++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index c5276bfe..ab96e00e 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -333,7 +333,7 @@ dependencies = [
 [[package]]
 name = "egraph-serialize"
 version = "0.1.0"
-source = "git+https://github.com/saulshanabrook/egraph-serialize?rev=1c205fcc6d3426800b828e9264dbadbd4a5ef6e9#1c205fcc6d3426800b828e9264dbadbd4a5ef6e9"
+source = "git+https://github.com/egraphs-good/egraph-serialize?rev=9ce281291635b0e1e7685b488de67bb5a3fee3db#9ce281291635b0e1e7685b488de67bb5a3fee3db"
 dependencies = [
  "graphviz-rust",
  "indexmap",
diff --git a/Cargo.toml b/Cargo.toml
index 2a7b5034..6a9e397f 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -37,7 +37,10 @@ smallvec = "1.11"
 
 generic_symbolic_expressions = "5.0.4"
 
-egraph-serialize = { git = "https://github.com/saulshanabrook/egraph-serialize", rev = "1c205fcc6d3426800b828e9264dbadbd4a5ef6e9", features = ["serde", "graphviz"] }
+egraph-serialize = { git = "https://github.com/egraphs-good/egraph-serialize", rev = "9ce281291635b0e1e7685b488de67bb5a3fee3db", features = [
+  "serde",
+  "graphviz",
+] }
 serde_json = { optional = true, version = "1.0.100", features = [
   "preserve_order",
 ] }