match once branch, not using yet

egraphs-good · Jan 15, 2025 · 6ed0ef8 · 6ed0ef8
1 parent 1e492df
commit 6ed0ef8
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 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 = "246b195" }
+egglog = { git = "https://github.com/egraphs-good/egglog", rev = "8deef5e2fb61283709770f93fd4511db7b9b8b22" }
 egraph-serialize = "0.2.0"
 log = "0.4.19"
 thiserror = "1"

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 = "246b195" }
+egglog = { git = "https://github.com/egraphs-good/egglog", rev = "8deef5e2fb61283709770f93fd4511db7b9b8b22" }
 strum = "0.25"
 strum_macros = "0.25"
 main_error = "0.1.2"