X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Ffsutil.c;h=9c81fb015b605432ee2d60198454d1ce48e21bdf;hb=4b9c6406e80d1fe9e5aa236e0d34dadbc4703307;hp=8ef5d98f2045f88d3f0a2fb5ed1490476a85a5db;hpb=4ebf33908a571a7cde93fe618902b044e3633cdf;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