X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fuser%2Fsyscall.h;h=d03eae163ef371956b911277f75575637da18053;hb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;hp=c2941087faa09de8dca3c6f434fbcf0f35aea99f;hpb=5780c9f434cca090f88463b7f0199d49b4ded288;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);