--- a/Cargo.toml	2023-04-19 14:29:09.873115690 +0100
+++ b/Cargo.toml	2023-04-19 14:29:14.881163110 +0100
@@ -177,7 +177,7 @@
 version = "0.3.5"
 
 [dev-dependencies.proptest]
-version = "0.10.1"
+version = "1"
 features = ["std"]
 default-features = false
 
