Fix compile problems.

[pintos-anon] / src / tests / threads / p1-3.c

diff --git a/src/tests/threads/p1-3.c b/src/tests/threads/p1-3.c
index 32c91e6217dd4609893487681e089070c0f80169..264ad477ec7ab069c14f6b0ebcd7aa84a9ca7f5a 100644 (file)
--- a/src/tests/threads/p1-3.c
+++ b/src/tests/threads/p1-3.c
@@ -8,6 +8,7 @@
 
 #include "threads/test.h"
 #include <stdio.h>
+#include "threads/synch.h"
 #include "threads/thread.h"
 
 static void test_preempt (void);
@@ -77,7 +78,7 @@ test_donate_return (void)
   thread_create ("acquire2", PRI_DEFAULT + 2, acquire_thread_func, &lock);
   printf ("This thread should have priority %d.  Actual priority: %d.\n",
           PRI_DEFAULT + 2, thread_get_priority ());
-  lock_release ();
+  lock_release (&lock);
   printf ("acquire1 and acquire2 must already have finished, in that order.\n"
           "This should be the last line before finishing this test.\n"
           "Priority donation test done.\n");