fix serialize perf

egraphs-good · Feb 11, 2025 · 0fddb40 · 0fddb40
1 parent d485f3c
commit 0fddb40
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -9,7 +9,7 @@ name = "files"
 
 
 [dependencies]
-egglog = { git = "https://github.com/egraphs-good/egglog", rev = "215714e" }
+egglog = { git = "https://github.com/egraphs-good/egglog", rev = "161a36f" }
 egraph-serialize = "0.2.0"
 log = "0.4.19"
 thiserror = "1"

diff --git a/dag_in_context/Cargo.lock b/dag_in_context/Cargo.lock
diff --git a/dag_in_context/Cargo.toml b/dag_in_context/Cargo.toml
@@ -6,7 +6,7 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-egglog = { git = "https://github.com/egraphs-good/egglog", rev = "215714e" }
+egglog = { git = "https://github.com/egraphs-good/egglog", rev = "161a36f" }
 smallvec = "1.11.1"
 strum = "0.25"
 strum_macros = "0.25"