X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fuser%2Fsyscall.h;h=d03eae163ef371956b911277f75575637da18053;hb=c12a66d060c18b8fddedff8905d09d7ccd50788c;hp=c2941087faa09de8dca3c6f434fbcf0f35aea99f;hpb=2cfc156c39840ce7f1cda6b473de1322691a8a0b;p=pintos-anon

diff --git a/src/lib/user/syscall.h b/src/lib/user/syscall.h
index c294108..d03eae1 100644
--- a/src/lib/user/syscall.h
+++ b/src/lib/user/syscall.h
@@ -24,7 +24,7 @@ void seek (int fd, unsigned position);
 unsigned tell (int fd);
 void close (int fd);
 mapid_t mmap (int fd, void *addr);
-bool munmap (mapid_t);
+void munmap (mapid_t);
 bool chdir (const char *dir);
 bool mkdir (const char *dir);
 void lsdir (void);