Use merged version of serialize package

egraphs-good · Sep 12, 2024 · 0960716 · 0960716
1 parent 2f3a905
commit 0960716
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -37,7 +37,7 @@ smallvec = "1.11"
 
 generic_symbolic_expressions = "5.0.4"
 
-egraph-serialize = { git = "https://github.com/egraphs-good/egraph-serialize", rev = "fdfbbcae20a21098ad6484c0b9da44314016b4f7", features = [
+egraph-serialize = { git = "https://github.com/egraphs-good/egraph-serialize", rev = "3625e0daf655932f2e9548c448d6a63d6cb8d831", features = [
   "serde",
   "graphviz",
 ] }