diff --git a/Cargo.toml b/Cargo.toml index b92e563..d31db31 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -50,4 +50,4 @@ walkdir = "2.5" yansi = "1.0" # we need to pin to commit as the crate version doesn't allow us to detect local `z3` binary. z3 = { git = "https://github.com/prove-rs/z3.rs.git", rev = "247d308f27d8b59152ad402e2d8b13d617a1a6a1" } -derive_more = "0.99" +derive_more = "1.0"