X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fthreads%2FRubric.priority;h=49130ae74946d52f7c8ec4dcb7d7157996bbed83;hb=bed7964bf37ffe1b9c418688544d9ac467edce7e;hp=4f32254ceb9302789c1dea1175ddbfa784ba6084;hpb=556a216befb4a58e9563aeef6e827975f4a26731;p=pintos-anon

diff --git a/src/tests/threads/Rubric.priority b/src/tests/threads/Rubric.priority
index 4f32254..49130ae 100644
--- a/src/tests/threads/Rubric.priority
+++ b/src/tests/threads/Rubric.priority
@@ -1,5 +1,4 @@
 Functionality of priority scheduler:
-
 5	priority-preempt
 5	priority-donate-one
 5	priority-donate-multiple