Free file in file_close().

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

diff --git a/src/filesys/file.c b/src/filesys/file.c
index 27e907feabe36b689d40bf85ae0d865cdc5deef9..e8818c0029383a7d3a0f139963874bf81021dbc2 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,