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

diff --git a/src/filesys/directory.h b/src/filesys/directory.h
index db16867..c773887 100644
--- a/src/filesys/directory.h
+++ b/src/filesys/directory.h
@@ -21,6 +21,5 @@ bool dir_lookup (const struct dir *, const char *name, disk_sector_t *);
 bool dir_add (struct dir *, const char *name, disk_sector_t);
 bool dir_remove (struct dir *, const char *name);
 void dir_list (const struct dir *);
-void dir_dump (const struct dir *);
 
 #endif /* filesys/directory.h */