From 5b10b8d7f8b2b9227498b1ca74f66a83f773a1a3 Mon Sep 17 00:00:00 2001
From: Konstantinos Andrikopoulos <andrikopoulos@google.com>
Date: Fri, 6 Sep 2024 12:13:55 +0200
Subject: [PATCH] Fix comment in mutex_id_offset

We no longer store the kind inside the pthread_mutex_t, so this comment
is outdated.
---
 src/shims/unix/sync.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/shims/unix/sync.rs b/src/shims/unix/sync.rs
index 5da5cab8fe..57cc9cf461 100644
--- a/src/shims/unix/sync.rs
+++ b/src/shims/unix/sync.rs
@@ -62,7 +62,6 @@ fn is_mutex_kind_normal<'tcx>(ecx: &MiriInterpCx<'tcx>, kind: i32) -> InterpResu
 // pthread_mutex_t is between 24 and 48 bytes, depending on the platform.
 // We ignore the platform layout and store our own fields:
 // - id: u32
-// - kind: i32
 
 fn mutex_id_offset<'tcx>(ecx: &MiriInterpCx<'tcx>) -> InterpResult<'tcx, u64> {
     let offset = match &*ecx.tcx.sess.target.os {