X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fthreads%2Ftests.h;h=81e966315553126616f9a71a22d73a59a756bd81;hb=c75a1a1b7c79c1a516256b8cf072631a7aa575eb;hp=1fe839ea847ad16a69b5d01a51f7a7127b6a558b;hpb=5f8ae7add53756416ae4bb3240bb555e6064bd54;p=pintos-anon

diff --git a/src/tests/threads/tests.h b/src/tests/threads/tests.h
index 1fe839e..81e9663 100644
--- a/src/tests/threads/tests.h
+++ b/src/tests/threads/tests.h
@@ -17,6 +17,7 @@ extern test_func test_priority_donate_multiple;
 extern test_func test_priority_donate_multiple2;
 extern test_func test_priority_donate_sema;
 extern test_func test_priority_donate_nest;
+extern test_func test_priority_donate_lower;
 extern test_func test_priority_fifo;
 extern test_func test_priority_preempt;
 extern test_func test_priority_sema;