Skip to content

Commit

Permalink
Update to bindgen 0.70 (#312)
Browse files Browse the repository at this point in the history
  • Loading branch information
waywardmonkeys authored Oct 2, 2024
1 parent b087c88 commit b8ce0ef
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion z3-sys/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ homepage = "https://github.com/prove-rs/z3.rs"
repository = "https://github.com/prove-rs/z3.rs.git"

[build-dependencies]
bindgen = { version = "0.69", default-features = false, features = ["runtime"] }
bindgen = { version = "0.70", default-features = false, features = ["runtime"] }
cmake = { version = "0.1.49", optional = true }
pkg-config = "0.3.27"
vcpkg = { version = "0.2.15", optional = true }
Expand Down

0 comments on commit b8ce0ef

Please sign in to comment.