Auto merge of #801 - gigaroby:master, r=jackh726

chalk-solve: upgrade petgraph to version 0.6.4 Version 0.5.1 contained a soundness bug that has since been fixed: petgraph/petgraph@618af3d.
rust-lang · Aug 30, 2023 · 671308f · 671308f
2 parents eee2bab + 34f45e2
commit 671308f
Show file tree

Hide file tree

Showing 2 changed files with 47 additions and 9 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/chalk-solve/Cargo.toml b/chalk-solve/Cargo.toml
@@ -12,7 +12,7 @@ edition = "2018"
 [dependencies]
 ena = "0.14.0"
 itertools = "0.10.0"
-petgraph = "0.5.1"
+petgraph = "0.6.4"
 tracing = "0.1"
 tracing-subscriber = { version = "0.3", optional = true, features = ["env-filter"] }
 tracing-tree = { version = "0.2", optional = true }