X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ftests%2Fthreads%2Fpriority-preempt.c;h=3c3aacbd0336f41fb69d386c9576cb18f07c00ae;hp=70f8acbee8ee67bd14349f73106a10dfbb031565;hb=d4c30c6a386fe850e7eed1025e459fbc82a0b6e2;hpb=17102846d22591590c37548f8514067e2be6c5f6

diff --git a/src/tests/threads/priority-preempt.c b/src/tests/threads/priority-preempt.c
index 70f8acb..3c3aacb 100644
--- a/src/tests/threads/priority-preempt.c
+++ b/src/tests/threads/priority-preempt.c
@@ -18,7 +18,7 @@ void
 test_priority_preempt (void) 
 {
   /* This test does not work with the MLFQS. */
-  ASSERT (!enable_mlfqs);
+  ASSERT (!thread_mlfqs);
 
   /* Make sure our priority is the default. */
   ASSERT (thread_get_priority () == PRI_DEFAULT);