Removed warning of rustc 1.7.0 complaining about deprecated usage of std::thread...
authorStefan Disch <disch@informatik.uni-freiburg.de>
Sun, 6 Mar 2016 09:54:47 +0000 (10:54 +0100)
committerStefan Disch <disch@informatik.uni-freiburg.de>
Sun, 6 Mar 2016 09:54:47 +0000 (10:54 +0100)
commitab942598491747509a9586bf3c0c1c65785b9dd3
tree26a9fbeeeef3ca28599e61cdc19ed95f868d0c06
parentfb6cc06498be64fa09f04b5ed847f1752e0eba49
Removed warning of rustc 1.7.0 complaining about deprecated usage of std::thread::sleep_ms.
Now std::thread::sleep is used together with std::time::Duration::from_millis.
workspace/src/part15.rs