From d4d5a7a937ecefa53915e6c82538d73fa015123f Mon Sep 17 00:00:00 2001
From: Themis Demetriades <td1223@ic.ac.uk>
Date: Tue, 15 Oct 2024 12:01:03 +0100
Subject: [PATCH] Update thread_priority_greater function signature to
 explicitly signal unused parameter

---
 src/threads/thread.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/threads/thread.c b/src/threads/thread.c
index dfc70df..146a430 100644
--- a/src/threads/thread.c
+++ b/src/threads/thread.c
@@ -603,7 +603,7 @@ allocate_tid (void)
    than that of the second list element's thread. */
 bool 
 thread_priority_greater (const struct list_elem *a, const struct list_elem *b,
-                         void *aux)
+                         void *aux UNUSED)
 {
   struct thread *ta = list_entry (a, struct thread, elem);
   struct thread *tb = list_entry (b, struct thread, elem);