diff --git a/Cargo.lock b/Cargo.lock index 3c59fab6f..3367a4757 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -658,7 +658,7 @@ dependencies = [ [[package]] name = "egglog" version = "0.3.0" -source = "git+https://github.com/egraphs-good/egglog?rev=246b195#246b19568c9e99fae2f4a8d869dcc2e8ec296f63" +source = "git+https://github.com/egraphs-good/egglog?rev=8deef5e2fb61283709770f93fd4511db7b9b8b22#8deef5e2fb61283709770f93fd4511db7b9b8b22" dependencies = [ "chrono", "clap", diff --git a/Cargo.toml b/Cargo.toml index a0ece063f..06c484bb8 100644 --- 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 index 0bc11d364..83613c48b 100644 --- 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"