X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fuser%2Fsyscall.c;h=6cc02d1df3df4c5c14bf19c95726f46d3edd9bfe;hb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;hp=078d7969e02b3ed15a61e5c628e3a8e0dbfba37b;hpb=5780c9f434cca090f88463b7f0199d49b4ded288;p=pintos-anon

diff --git a/src/lib/user/syscall.c b/src/lib/user/syscall.c
index 078d796..6cc02d1 100644
--- a/src/lib/user/syscall.c
+++ b/src/lib/user/syscall.c
@@ -147,10 +147,10 @@ mmap (int fd, void *addr)
   return syscall2 (SYS_mmap, fd, addr);
 }
 
-bool
+void
 munmap (mapid_t mapid)
 {
-  return syscall1 (SYS_munmap, mapid);
+  syscall1 (SYS_munmap, mapid);
 }
 
 bool