update polonius-engine to v0.13

rust-lang · Aug 1, 2021 · 7cb0777 · 7cb0777
1 parent c14849f
commit 7cb0777
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -11,11 +11,11 @@ edition = "2018"
 
 [dev-dependencies]
 diff = "0.1.0"
-polonius-parser = {version = "0.4.0", path = "polonius-parser" }
+polonius-parser = { path = "./polonius-parser" }
 
 [dependencies]
 rustc-hash = "1.0.0"
-polonius-engine = {version = "0.12.0", path = "polonius-engine" }
+polonius-engine = { path = "./polonius-engine" }
 log = "0.4"
 petgraph = "0.4.13"
 pico-args = "0.2"

diff --git a/polonius-engine/Cargo.toml b/polonius-engine/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "polonius-engine"
-version = "0.12.1"
+version = "0.13.0"
 authors = ["The Rust Project Developers", "Polonius Developers"]
 description = "Core definition for the Rust borrow checker"
 license = "Apache-2.0/MIT"