Skip to content

Commit cdc7700

Browse files
authored
Merge pull request #4247 from RalfJung/foreign-items-comment
foreign_items: make comment more consistent
2 parents 877e9eb + 54f8d30 commit cdc7700

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

src/shims/unix/macos/foreign_items.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -222,7 +222,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
222222
this.write_scalar(res, dest)?;
223223
}
224224

225-
// Futex primitives
225+
// Synchronization primitives
226226
"os_sync_wait_on_address" => {
227227
let [addr_op, value_op, size_op, flags_op] =
228228
this.check_shim(abi, Conv::C, link_name, args)?;
@@ -273,7 +273,6 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
273273
addr_op, size_op, flags_op, /* all */ true, dest,
274274
)?;
275275
}
276-
277276
"os_unfair_lock_lock" => {
278277
let [lock_op] = this.check_shim(abi, Conv::C, link_name, args)?;
279278
this.os_unfair_lock_lock(lock_op)?;

0 commit comments

Comments
 (0)