Skip to content

Commit

Permalink
remove outdated comment now that Miri is on CI
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Oct 13, 2024
1 parent 2ae3b1b commit 8d0a0b0
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion library/std/src/sys/pal/windows/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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();
Expand Down

0 comments on commit 8d0a0b0

Please sign in to comment.