diff options
| author | Ralf Jung <post@ralfj.de> | 2024-10-13 12:27:09 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-10-13 12:30:23 +0200 |
| commit | 8d0a0b000c385ca43cc8c46e63b492c7edbf8cf2 (patch) | |
| tree | f3489753b1de0d78bfa967b497e1e05b88a623c9 /library/std/src | |
| parent | 2ae3b1b09a09ec9c034c4cc4ba822b11c2ccbd26 (diff) | |
| download | rust-8d0a0b000c385ca43cc8c46e63b492c7edbf8cf2.tar.gz rust-8d0a0b000c385ca43cc8c46e63b492c7edbf8cf2.zip | |
remove outdated comment now that Miri is on CI
Diffstat (limited to 'library/std/src')
| -rw-r--r-- | library/std/src/sys/pal/windows/mod.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/library/std/src/sys/pal/windows/mod.rs b/library/std/src/sys/pal/windows/mod.rs index 1ea253e5e52..a9886012e8e 100644 --- a/library/std/src/sys/pal/windows/mod.rs +++ b/library/std/src/sys/pal/windows/mod.rs @@ -346,7 +346,6 @@ pub fn abort_internal() -> ! { } } -// miri is sensitive to changes here so check that miri is happy if touching this #[cfg(miri)] pub fn abort_internal() -> ! { crate::intrinsics::abort(); |