gameServer2/src/main.rs
changeset 13801 59ea2403f62d
parent 13671 09f4a30e50cc
child 13802 c5edfcfac68b
--- a/gameServer2/src/main.rs	Mon Aug 27 22:28:56 2018 +0300
+++ b/gameServer2/src/main.rs	Tue Aug 28 17:19:25 2018 +0300
@@ -12,6 +12,7 @@
 #[macro_use]
 extern crate log;
 extern crate env_logger;
+#[cfg(test)]
 #[macro_use] extern crate proptest;
 #[macro_use] extern crate bitflags;
 extern crate serde;