X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Ffsutil.c;fp=src%2Ffilesys%2Ffsutil.c;h=9c81fb015b605432ee2d60198454d1ce48e21bdf;hb=f415a37905c57f61b444806bf84f5405184452aa;hp=8ef5d98f2045f88d3f0a2fb5ed1490476a85a5db;hpb=fa97205f611b922b85299e79edba9a0bbbe3cfb2;p=pintos-anon

diff --git a/src/filesys/fsutil.c b/src/filesys/fsutil.c
index 8ef5d98..9c81fb0 100644
--- a/src/filesys/fsutil.c
+++ b/src/filesys/fsutil.c
@@ -6,9 +6,9 @@
 #include "filesys/file.h"
 #include "filesys/filesys.h"
 #include "devices/disk.h"
-#include "threads/mmu.h"
 #include "threads/malloc.h"
 #include "threads/palloc.h"
+#include "threads/vaddr.h"
 
 /* List files in the root directory. */
 void