X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Ffilesys.h;fp=src%2Ffilesys%2Ffilesys.h;h=fb969f1db7509d61894b630a1b3f4915a383842d;hb=fba4443410241dd95c25a0fd7c5f8c0d8ff30ada;hp=9563fbb37e2926a255d4256db8b268666e0a3870;hpb=76d7f305a649ad998194b7b5184a07fa7544c360;p=pintos-anon

diff --git a/src/filesys/filesys.h b/src/filesys/filesys.h
index 9563fbb..fb969f1 100644
--- a/src/filesys/filesys.h
+++ b/src/filesys/filesys.h
@@ -5,7 +5,7 @@
 #include "filesys/off_t.h"
 
 /* Disk used for filesystem. */
-extern struct disk *filesys_disk;
+extern struct partition *filesys_partition;
 
 /* The free map file, opened by filesys_init() and never
    closed. */