X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Fuserprog%2Fopen-missing.c;h=13ecbda488fc3b7fbebe1be19716f7381e9561c4;hb=1f197c6861841bc0c27327c20b85e7b43b65affe;hp=58661afe50190e673c6585031d06923ac5b24e7d;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/src/tests/userprog/open-missing.c b/src/tests/userprog/open-missing.c
index 58661af..13ecbda 100644
--- 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"