Skip to content

Commit 0913b24

Browse files
committed
fixup
1 parent edf8d50 commit 0913b24

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

src/shims/native_lib/trace/child.rs

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -223,9 +223,7 @@ pub unsafe fn init_sv() -> Result<(), SvInitError> {
223223
}
224224

225225
/// Instruct the supervisor process to return a particular code. Useful if for
226-
/// whatever reason this code fails to be intercepted normally. In the case of
227-
/// `abort_if_errors()` used in `bin/miri.rs`, the return code is erroneously
228-
/// given as a 0 if this is not used.
226+
/// whatever reason this code fails to be intercepted normally.
229227
pub fn register_retcode_sv(code: i32) {
230228
let mut sv_guard = SUPERVISOR.lock().unwrap();
231229
if let Some(sv) = sv_guard.as_mut() {

0 commit comments

Comments
 (0)