From 6983ccdd3b2161426590e6b3d92d7a670b609235 Mon Sep 17 00:00:00 2001
From: Themis Demetriades <td1223@ic.ac.uk>
Date: Tue, 22 Oct 2024 20:41:44 +0100
Subject: [PATCH] Update thread_get_priority description comment to be more
 specific w/ S

---
 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 c4722a9..1cf40af 100644
--- a/src/threads/thread.c
+++ b/src/threads/thread.c
@@ -406,7 +406,7 @@ thread_set_priority (int new_base_priority)
   thread_yield ();
 }
 
-/* Returns the current thread's priority. */
+/* Returns the current thread's effective priority. */
 int
 thread_get_priority (void) 
 {