From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 8 Jan 2006 20:21:31 +0000 (+0000)
Subject: Fix comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e6d65cdffc13cba2633ac00bd2a84d22a1f3b172;p=pintos-anon

Fix comment.
---

diff --git a/src/tests/filesys/extended/dir-rm-parent.c b/src/tests/filesys/extended/dir-rm-parent.c
index 9db212a..78e84b1 100644
--- a/src/tests/filesys/extended/dir-rm-parent.c
+++ b/src/tests/filesys/extended/dir-rm-parent.c
@@ -1,6 +1,6 @@
 /* Tries to remove the change of parents of the current
    directory.
-   This can succeed or fail as long as it doesn't crash. 8/
+   This can succeed or fail as long as it doesn't crash. */
 
 #include <syscall.h>
 #include "tests/lib.h"