random: Fix behavior of kernel option "-rs".

[pintos-anon] / src / tests / userprog / open-normal.c

diff --git a/src/tests/userprog/open-normal.c b/src/tests/userprog/open-normal.c
index 4040fc20f34478eb9c474f6444cf8bafff51365c..5132465335d17f1302689910aff9bffe7bef1c0a 100644 (file)
--- a/src/tests/userprog/open-normal.c
+++ b/src/tests/userprog/open-normal.c
@@ -1,3 +1,5 @@
+/* Open a file. */
+
 #include <syscall.h>
 #include "tests/lib.h"
 #include "tests/main.h"