From f1fa7d2ffbfba3a562f60542171bed75d85fc2a0 Mon Sep 17 00:00:00 2001
From: Themis Demetriades <td1223@ic.ac.uk>
Date: Tue, 15 Oct 2024 11:51:40 +0100
Subject: [PATCH] Reformat thread_priority_greater to fit code style

---
 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 8e18ca9..dfc70df 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)
 {
   struct thread *ta = list_entry (a, struct thread, elem);
   struct thread *tb = list_entry (b, struct thread, elem);