diff --git a/Cargo.lock b/Cargo.lock index 8a349174..e1719f32 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -237,7 +237,7 @@ checksum = "675e35c02a51bb4d4618cb4885b3839ce6d1787c97b664474d9208d074742e20" [[package]] name = "egglog" version = "0.4.0" -source = "git+https://github.com/saulshanabrook/egg-smol?rev=889ca7635368d7e382e16a93b2883aba82f1078f#889ca7635368d7e382e16a93b2883aba82f1078f" +source = "git+https://github.com/egraphs-good//egglog.git?rev=6f494282442803201b512e9d0828007b52a0b29c#6f494282442803201b512e9d0828007b52a0b29c" dependencies = [ "chrono", "clap", diff --git a/Cargo.toml b/Cargo.toml index 8cd4332d..066d6f96 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -12,7 +12,7 @@ crate-type = ["cdylib"] [dependencies] pyo3 = { version = "0.23.0", features = ["extension-module"] } -egglog = { git = "https://github.com/saulshanabrook/egg-smol", rev = "889ca7635368d7e382e16a93b2883aba82f1078f" } +egglog = { git = "https://github.com/egraphs-good/egglog", rev = "6f494282442803201b512e9d0828007b52a0b29c" } egglog-experimental = { git = "https://github.com/egraphs-good/egglog-experimental", rev = "8a1b3d6ad2723a8438f51f05027161e51f37917c" } egraph-serialize = { version = "0.2.0", features = ["serde", "graphviz"] } serde_json = "1.0.140" @@ -25,7 +25,7 @@ uuid = { version = "1.16.0", features = ["v4"] } # Use unreleased version of egglog in experimental [patch.'https://github.com/egraphs-good/egglog'] # https://github.com/rust-lang/cargo/issues/5478#issuecomment-522719793 -egglog = { git = "https://github.com/saulshanabrook/egg-smol.git", rev = "889ca7635368d7e382e16a93b2883aba82f1078f" } +egglog = { git = "https://github.com/egraphs-good//egglog.git", rev = "6f494282442803201b512e9d0828007b52a0b29c" } # [replace] # 'https://github.com/egraphs-good/egglog.git#egglog@0.3.0' = { git = "https://github.com/egraphs-good/egglog.git", rev = "215714e1cbb13ae9e21bed2f2e1bf95804571512" }