Change line spacing.

[pintos-anon] / src / tests / threads / Rubric.priority

diff --git a/src/tests/threads/Rubric.priority b/src/tests/threads/Rubric.priority
index 4f32254ceb9302789c1dea1175ddbfa784ba6084..49130ae74946d52f7c8ec4dcb7d7157996bbed83 100644 (file)
--- 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