X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Ffsutil.h;h=307e37d1d1ce791638a245fd3915c52270d0837d;hb=34f8f73bbfa741616caa8bbd34a32150a7bfaa67;hp=2d711e98db7df9e8e1b682c851b4e1f8d08efcee;hpb=c00124df280431bb3f1fd26ef0f5c863365c6474;p=pintos-anon

diff --git a/src/filesys/fsutil.h b/src/filesys/fsutil.h
index 2d711e9..307e37d 100644
--- a/src/filesys/fsutil.h
+++ b/src/filesys/fsutil.h
@@ -9,7 +9,6 @@ extern char *fsutil_copyout_file;
 extern char *fsutil_print_file;
 extern char *fsutil_remove_file;
 extern bool fsutil_list_files;
-extern bool fsutil_dump_filesys;
 
 void fsutil_run (void);
 void fsutil_print (const char *filename);