Add comment

This commit is contained in:
Aaron Hill 2019-10-29 21:09:51 -04:00
parent b06c83c200
commit d5c0acac4d
No known key found for this signature in database
GPG Key ID: B4087E510E98B164

View File

@ -98,5 +98,7 @@
imp::panic(Box::from_raw((*payload).box_me_up()))
}
// A dummy helper function for Miri.
// Used to push an empty stack frame when we start unwinding
#[cfg(miri)]
pub fn miri_panic_trampoline() {}