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

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);