From 544695506c1d85628d39856ae912cbfeb112021d Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 19 Jan 2025 09:54:29 -0700
Subject: [PATCH] fix location of pipe module

---
 src/tools/miri/tests/pass/shims/pipe.rs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/tools/miri/tests/pass/shims/pipe.rs b/src/tools/miri/tests/pass/shims/pipe.rs
index d547b2b1ccbdd..1be29886d2d32 100644
--- a/src/tools/miri/tests/pass/shims/pipe.rs
+++ b/src/tools/miri/tests/pass/shims/pipe.rs
@@ -1,10 +1,11 @@
 //@ignore-target: windows
 
 #![feature(anonymous_pipe)]
-use std::io::{Read, Write};
+
+use std::io::{Read, Write, pipe};
 
 fn main() {
-    let (mut ping_rx, mut ping_tx) = std::pipe::pipe().unwrap();
+    let (mut ping_rx, mut ping_tx) = pipe().unwrap();
     ping_tx.write(b"hello").unwrap();
     let mut buf: [u8; 5] = [0; 5];
     ping_rx.read(&mut buf).unwrap();