Rename std::ioivec to std::io

1 files changed, 13 insertions, 13 deletions

diff --git a/src/lib/run_program.rs b/src/lib/run_program.rs
index 3b5751c806f..7db81f96d5b 100644
--- a/src/lib/run_program.rs
+++ b/src/lib/run_program.rs
@@ -36,9 +36,9 @@ fn run_program(prog: str, args: vec[str]) -> int {
 type program =
     obj {
         fn get_id() -> int;
-        fn input() -> ioivec::writer;
-        fn output() -> ioivec::reader;
-        fn err() -> ioivec::reader;
+        fn input() -> io::writer;
+        fn output() -> io::reader;
+        fn err() -> io::reader;
         fn close_input();
         fn finish() -> int;
         fn destroy();
@@ -65,17 +65,17 @@ fn start_program(prog: str, args: vec[str]) -> @program_res {
                     err_file: os::libc::FILE,
                     mutable finished: bool) {
         fn get_id() -> int { ret pid; }
-        fn input() -> ioivec::writer {
-            ret ioivec::new_writer(
-                ioivec::fd_buf_writer(in_fd, option::none));
+        fn input() -> io::writer {
+            ret io::new_writer(
+                io::fd_buf_writer(in_fd, option::none));
         }
-        fn output() -> ioivec::reader {
-            ret ioivec::new_reader(
-                ioivec::FILE_buf_reader(out_file, option::none));
+        fn output() -> io::reader {
+            ret io::new_reader(
+                io::FILE_buf_reader(out_file, option::none));
         }
-        fn err() -> ioivec::reader {
-            ret ioivec::new_reader(
-                ioivec::FILE_buf_reader(err_file, option::none));
+        fn err() -> io::reader {
+            ret io::new_reader(
+                io::FILE_buf_reader(err_file, option::none));
         }
         fn close_input() {
             let invalid_fd = -1;
@@ -103,7 +103,7 @@ fn start_program(prog: str, args: vec[str]) -> @program_res {
                                  false));
 }
 
-fn read_all(rd: &ioivec::reader) -> str {
+fn read_all(rd: &io::reader) -> str {
     let buf = "";
     while !rd.eof() {
         let bytes = rd.read_bytes(4096u);