From b936822e4e17e63d586a291980b9d0ddf2fe1ae2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 6 Apr 2024 21:56:02 +0200
Subject: [PATCH] add lib.miri.rs file for miri-test-libstd

---
 src/lib.miri.rs | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 src/lib.miri.rs

diff --git a/src/lib.miri.rs b/src/lib.miri.rs
new file mode 100644
index 000000000..17288058e
--- /dev/null
+++ b/src/lib.miri.rs
@@ -0,0 +1,5 @@
+//! Grep bootstrap for `MIRI_REPLACE_LIBRS_IF_NOT_TEST` to learn what this is about.
+#![no_std]
+#![feature(rustc_private)]
+extern crate compiler_builtins as real;
+pub use real::*;