From 1a669267d01677146742b25212382b160ff418ad Mon Sep 17 00:00:00 2001
From: Mark Wheelhouse <mark.wheelhouse@imperial.ac.uk>
Date: Wed, 2 Oct 2024 15:04:13 +0100
Subject: [PATCH] fixed interrupt disabling bug in threads_ready function

---
 src/threads/thread.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/threads/thread.c b/src/threads/thread.c
index 5ffe810..30ca2bd 100644
--- a/src/threads/thread.c
+++ b/src/threads/thread.c
@@ -123,9 +123,9 @@ size_t
 threads_ready (void)
 {
   enum intr_level old_level = intr_disable ();
-  return list_size (&ready_list);
+  size_t ready_thread_count = list_size (&ready_list);
   intr_set_level (old_level);
-  
+  return ready_thread_count;
 }
 
 /* Called by the timer interrupt handler at each timer tick.