--- a/Cargo.toml	2022-07-01 21:18:13.000000000 +0100
+++ b/Cargo.toml	2022-07-02 01:33:21.600222058 +0100
@@ -165,7 +165,7 @@
 version = "0.3.5"
 
 [dev-dependencies.proptest]
-version = "0.10.1"
+version = "1.0.0"
 features = ["std"]
 default-features = false
 
