Change line spacing.

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

diff --git a/src/tests/vm/Rubric.robustness b/src/tests/vm/Rubric.robustness
index 52da99f5227a6fc8eb27ca43d59a470975bdb8ed..0b2552f29852e4e1121d99ddd8ed7537aa414abc 100644 (file)
--- a/src/tests/vm/Rubric.robustness
+++ b/src/tests/vm/Rubric.robustness
@@ -1,7 +1,5 @@
 Robustness of virtual memory subsystem:
-
 - Test robustness of page table support.
-
 2      pt-bad-addr
 3      pt-bad-read
 2      pt-write-code
@@ -9,7 +7,6 @@ Robustness of virtual memory subsystem:
 4      pt-grow-bad
 
 - Test robustness of "mmap" system call.
-
 1      mmap-bad-fd
 1      mmap-inherit
 1      mmap-null