Change line spacing.

[pintos-anon] / src / tests / vm / Rubric.functionality

diff --git a/src/tests/vm/Rubric.functionality b/src/tests/vm/Rubric.functionality
index 4e8a0eeebcdcaf51110f71fd7ad23f810fe23b78..b45f77383131b5d796e84e4ec94f04f1643d1edd 100644 (file)
--- a/src/tests/vm/Rubric.functionality
+++ b/src/tests/vm/Rubric.functionality
@@ -1,13 +1,10 @@
 Functionality of virtual memory subsystem:
-
 - Test page table.
-
 6      pt-grow-stack
 6      pt-big-stk-obj
 6      pt-grow-pusha
 
 - Test paging behavior.
-
 2      page-linear
 3      page-parallel
 3      page-shuffle
@@ -15,7 +12,6 @@ Functionality of virtual memory subsystem:
 5      page-merge-par
 
 - Test "mmap" system call.
-
 2      mmap-read
 2      mmap-write
 2      mmap-shuffle