Skip to content

Commit c107043

Browse files
authored
Update pipe.rs
1 parent 18d4bb5 commit c107043

File tree

1 file changed

+0
-2
lines changed
  • src/tools/miri/tests/pass/shims

1 file changed

+0
-2
lines changed

src/tools/miri/tests/pass/shims/pipe.rs

-2
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,5 @@
11
//@ignore-target: windows
22

3-
#![feature(anonymous_pipe)]
4-
53
use std::io::{Read, Write, pipe};
64

75
fn main() {

0 commit comments

Comments
 (0)