Fix two bugs in the base Pintos code:

[pintos-anon] / src / tests / threads / priority-change.c

diff --git a/src/tests/threads/priority-change.c b/src/tests/threads/priority-change.c
index bb462d462d85fe02c1a4ca22a132883ec881c0b4..810b05a1d76973ebdf28f914d03c91318c021e85 100644 (file)
--- 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);