diff --git a/Cargo.lock b/Cargo.lock
index b29dac40..bee59f0b 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -317,7 +317,7 @@ checksum = "d0881ea181b1df73ff77ffaaf9c7544ecc11e82fba9b5f27b262a3c73a332555"
 [[package]]
 name = "egglog"
 version = "1.0.0"
-source = "git+https://github.com/egraphs-good/egglog.git?branch=main#ef90b97de1f5e7778186439b8fb0549179f82a45"
+source = "git+https://github.com/egraphs-good/egglog.git?branch=main#529f428d2443f126cd23d1012d7dba980baeed33"
 dependencies = [
  "csv",
  "dyn-clone",
@@ -344,7 +344,7 @@ dependencies = [
 [[package]]
 name = "egglog-add-primitive"
 version = "1.0.0"
-source = "git+https://github.com/egraphs-good/egglog.git?branch=main#ef90b97de1f5e7778186439b8fb0549179f82a45"
+source = "git+https://github.com/egraphs-good/egglog.git?branch=main#529f428d2443f126cd23d1012d7dba980baeed33"
 dependencies = [
  "quote",
  "syn 2.0.107",
@@ -353,7 +353,7 @@ dependencies = [
 [[package]]
 name = "egglog-ast"
 version = "1.0.0"
-source = "git+https://github.com/egraphs-good/egglog.git?branch=main#ef90b97de1f5e7778186439b8fb0549179f82a45"
+source = "git+https://github.com/egraphs-good/egglog.git?branch=main#529f428d2443f126cd23d1012d7dba980baeed33"
 dependencies = [
  "ordered-float",
 ]
@@ -361,7 +361,7 @@ dependencies = [
 [[package]]
 name = "egglog-bridge"
 version = "1.0.0"
-source = "git+https://github.com/egraphs-good/egglog.git?branch=main#ef90b97de1f5e7778186439b8fb0549179f82a45"
+source = "git+https://github.com/egraphs-good/egglog.git?branch=main#529f428d2443f126cd23d1012d7dba980baeed33"
 dependencies = [
  "anyhow",
  "dyn-clone",
@@ -385,7 +385,7 @@ dependencies = [
 [[package]]
 name = "egglog-concurrency"
 version = "1.0.0"
-source = "git+https://github.com/egraphs-good/egglog.git?branch=main#ef90b97de1f5e7778186439b8fb0549179f82a45"
+source = "git+https://github.com/egraphs-good/egglog.git?branch=main#529f428d2443f126cd23d1012d7dba980baeed33"
 dependencies = [
  "arc-swap",
  "rayon",
@@ -394,7 +394,7 @@ dependencies = [
 [[package]]
 name = "egglog-core-relations"
 version = "1.0.0"
-source = "git+https://github.com/egraphs-good/egglog.git?branch=main#ef90b97de1f5e7778186439b8fb0549179f82a45"
+source = "git+https://github.com/egraphs-good/egglog.git?branch=main#529f428d2443f126cd23d1012d7dba980baeed33"
 dependencies = [
  "anyhow",
  "bumpalo",
@@ -437,7 +437,7 @@ dependencies = [
 [[package]]
 name = "egglog-numeric-id"
 version = "1.0.0"
-source = "git+https://github.com/egraphs-good/egglog.git?branch=main#ef90b97de1f5e7778186439b8fb0549179f82a45"
+source = "git+https://github.com/egraphs-good/egglog.git?branch=main#529f428d2443f126cd23d1012d7dba980baeed33"
 dependencies = [
  "rayon",
 ]
@@ -445,7 +445,7 @@ dependencies = [
 [[package]]
 name = "egglog-reports"
 version = "1.0.0"
-source = "git+https://github.com/egraphs-good/egglog.git?branch=main#ef90b97de1f5e7778186439b8fb0549179f82a45"
+source = "git+https://github.com/egraphs-good/egglog.git?branch=main#529f428d2443f126cd23d1012d7dba980baeed33"
 dependencies = [
  "clap",
  "hashbrown 0.16.0",
@@ -459,7 +459,7 @@ dependencies = [
 [[package]]
 name = "egglog-union-find"
 version = "1.0.0"
-source = "git+https://github.com/egraphs-good/egglog.git?branch=main#ef90b97de1f5e7778186439b8fb0549179f82a45"
+source = "git+https://github.com/egraphs-good/egglog.git?branch=main#529f428d2443f126cd23d1012d7dba980baeed33"
 dependencies = [
  "crossbeam",
  "egglog-concurrency",