--- a/rust/lib-hedgewars-engine/Cargo.toml	Tue Mar 26 09:59:53 2019 -0400
+++ b/rust/lib-hedgewars-engine/Cargo.toml	Tue Mar 26 22:29:48 2019 +0300
@@ -18,6 +18,9 @@
 mapgen = { path = "../mapgen" }
 vec2d = { path = "../vec2d" }
 
+[dev-dependencies]
+proptest = "0.9.2"
+
 [lib]
 name = "hedgewars_engine"
 crate-type = ["dylib"]