Fix line wrapping.

[pintos-anon] / src / filesys / file.c

diff --git a/src/filesys/file.c b/src/filesys/file.c
index 27e907feabe36b689d40bf85ae0d865cdc5deef9..a0028ec8f3fc2d0d634291df7d4cd2667b9940cf 100644 (file)
--- a/src/filesys/file.c
+++ b/src/filesys/file.c
@@ -45,6 +45,7 @@ file_close (struct file *file)
   
   inode_close (file->inode);
   free (file->bounce);
+  free (file);
 }
 
 /* Reads SIZE bytes from FILE into BUFFER,
@@ -66,8 +67,7 @@ file_read (struct file *file, void *buffer, off_t size)
    Returns the number of bytes actually read,
    which may be less than SIZE if end of file is reached. */
 off_t
-file_read_at (struct file *file, void *buffer_, off_t size,
-              off_t file_ofs) 
+file_read_at (struct file *file, void *buffer_, off_t size, off_t file_ofs) 
 {
   uint8_t *buffer = buffer_;
   off_t bytes_read = 0;