X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Ftests%2Fthreads%2Falarm-priority.c;h=2288ff6d6950034db2eedadf3b44c04d60377103;hb=d4c30c6a386fe850e7eed1025e459fbc82a0b6e2;hp=4839ecdfc81491d36c656ea4ef98761cf5206616;hpb=17102846d22591590c37548f8514067e2be6c5f6;p=pintos-anon

diff --git a/src/tests/threads/alarm-priority.c b/src/tests/threads/alarm-priority.c
index 4839ecd..2288ff6 100644
--- a/src/tests/threads/alarm-priority.c
+++ b/src/tests/threads/alarm-priority.c
@@ -19,7 +19,7 @@ test_alarm_priority (void)
   int i;
   
   /* This test does not work with the MLFQS. */
-  ASSERT (!enable_mlfqs);
+  ASSERT (!thread_mlfqs);
 
   wake_time = timer_ticks () + 5 * TIMER_FREQ;
   sema_init (&wait_sema, 0);