X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fthreads%2Fpriority-change.c;h=810b05a1d76973ebdf28f914d03c91318c021e85;hb=919347c164606c3f1544b2e8bd62f505aeda80a1;hp=bb462d462d85fe02c1a4ca22a132883ec881c0b4;hpb=225e6b43b823eec0f3eef093f697c0b62538344f;p=pintos-anon

diff --git a/src/tests/threads/priority-change.c b/src/tests/threads/priority-change.c
index bb462d4..810b05a 100644
--- a/src/tests/threads/priority-change.c
+++ b/src/tests/threads/priority-change.c
@@ -13,7 +13,7 @@ void
 test_priority_change (void) 
 {
   /* This test does not work with the MLFQS. */
-  ASSERT (!enable_mlfqs);
+  ASSERT (!thread_mlfqs);
 
   msg ("Creating a high-priority thread 2.");
   thread_create ("thread 2", PRI_DEFAULT + 1, changing_thread, NULL);