remove outdated comment now that Miri is on CI

This commit is contained in:
Ralf Jung 2024-10-13 12:27:09 +02:00
parent 2ae3b1b09a
commit 8d0a0b000c

View File

@ -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();