// option. This file may not be copied, modified, or distributed
// except according to those terms.
-// pretty-expanded FIXME #23616
-
-#![feature(old_io, std_misc)]
-
-use std::old_io::timer;
-use std::time::Duration;
+use std::thread;
fn main() {
- timer::sleep(Duration::milliseconds(250));
+ thread::sleep_ms(250);
}