From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 5 Apr 2006 20:59:27 +0000 (+0000)
Subject: Comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=802376f1c03544a1f0576775d178f288f58b2315;p=pintos-anon

Comment.
Thanks to "Vincenzo Di Nicola" <dinicola@stanford.edu> for the question.
---

diff --git a/src/filesys/inode.c b/src/filesys/inode.c
index 8e954ab..17f4b46 100644
--- a/src/filesys/inode.c
+++ b/src/filesys/inode.c
@@ -76,6 +76,9 @@ inode_create (disk_sector_t sector, off_t length)
   bool success = false;
 
   ASSERT (length >= 0);
+
+  /* If this assertion fails, the inode structure is not exactly
+     one sector in size, and you should fix that. */
   ASSERT (sizeof *disk_inode == DISK_SECTOR_SIZE);
 
   disk_inode = calloc (1, sizeof *disk_inode);