X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fprocess.c;fp=src%2Fuserprog%2Fprocess.c;h=8f5aa59d5c7ff57b70916407f3fc43b7f5edbbc5;hb=5f8ae7add53756416ae4bb3240bb555e6064bd54;hp=2207a3d1614787e73237b74256796417dbaa33c3;hpb=468f548e6848498767eb6ac7b55ab9bca06de462;p=pintos-anon

diff --git a/src/userprog/process.c b/src/userprog/process.c
index 2207a3d..8f5aa59 100644
--- a/src/userprog/process.c
+++ b/src/userprog/process.c
@@ -380,8 +380,7 @@ validate_segment (const struct Elf32_Phdr *phdr, struct file *file)
    or disk read error occurs. */
 static bool
 load_segment (struct file *file, off_t ofs, uint8_t *upage,
-              uint32_t read_bytes, uint32_t zero_bytes,
-              bool writable) 
+              uint32_t read_bytes, uint32_t zero_bytes, bool writable) 
 {
   ASSERT ((read_bytes + zero_bytes) % PGSIZE == 0);
   ASSERT (pg_ofs (upage) == 0);