--- a/rust/hedgewars-server/Cargo.toml	Mon Apr 08 23:05:54 2019 +0200
+++ b/rust/hedgewars-server/Cargo.toml	Tue Apr 09 00:06:53 2019 +0300
@@ -26,4 +26,4 @@
 mysql = { version = "15.0", optional = true }
 
 [dev-dependencies]
-proptest = "0.8"
+proptest = "0.9"