From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 2 Dec 2004 06:51:42 +0000 (+0000)
Subject: Comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=19d7cf62779f010258969fa48a4045fd91128dd8

Comment.
---

diff --git a/src/filesys/filesys.c b/src/filesys/filesys.c
index e16c487..440fc57 100644
--- a/src/filesys/filesys.c
+++ b/src/filesys/filesys.c
@@ -242,7 +242,7 @@ filesys_remove (const char *name)
   if (!dir_lookup (dir, name, &inode_sector))
     goto done;
 
-  /* Open the inode and delete it it. */
+  /* Open the inode and delete it. */
   inode = inode_open (inode_sector);
   if (inode == NULL)
     goto done;