From: Ben Pfaff Date: Thu, 20 Apr 2006 04:34:54 +0000 (+0000) Subject: Fix line wrapping. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=12c2ab650ed14efb587c47f7533f657628943d8e;p=pintos-anon Fix line wrapping. --- diff --git a/src/userprog/pagedir.c b/src/userprog/pagedir.c index b242d3b..013f8aa 100644 --- a/src/userprog/pagedir.c +++ b/src/userprog/pagedir.c @@ -96,8 +96,7 @@ lookup_page (uint32_t *pd, const void *vaddr, bool create) Returns true if successful, false if memory allocation failed. */ bool -pagedir_set_page (uint32_t *pd, void *upage, void *kpage, - bool writable) +pagedir_set_page (uint32_t *pd, void *upage, void *kpage, bool writable) { uint32_t *pte;