X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ffilesys%2Ffile.h;h=8f2fbc9fb85254e8ccbbd7eb3e07507a0baa5b4a;hp=689aa6df4878bb71f92568d7fbc0ceb5a4cc17b0;hb=3fc16f6e9abc98a3bd5427eb210669860609a224;hpb=540641a18c65c05df757ced2f225ade578da15aa

diff --git a/src/filesys/file.h b/src/filesys/file.h
index 689aa6d..8f2fbc9 100644
--- a/src/filesys/file.h
+++ b/src/filesys/file.h
@@ -7,6 +7,7 @@
 typedef int32_t off_t;
 
 struct file;
+void file_close (struct file *);
 off_t file_read (struct file *, void *, off_t);
 off_t file_write (struct file *, const void *, off_t);
 off_t file_length (struct file *);