Rename .cvsignore files to .gitignore.

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

diff --git a/src/tests/userprog/open-missing.c b/src/tests/userprog/open-missing.c
index 58661afe50190e673c6585031d06923ac5b24e7d..13ecbda488fc3b7fbebe1be19716f7381e9561c4 100644 (file)
--- a/src/tests/userprog/open-missing.c
+++ b/src/tests/userprog/open-missing.c
@@ -1,3 +1,5 @@
+/* Tries to open a nonexistent file. */
+
 #include <syscall.h>
 #include "tests/lib.h"
 #include "tests/main.h"