X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fuserprog%2Fpagedir.c;fp=src%2Fuserprog%2Fpagedir.c;h=013f8aa957635b54e9ee4a8ca5cc469d52b3cc50;hb=12c2ab650ed14efb587c47f7533f657628943d8e;hp=b242d3b6b909b6420aee0e0677476ab9089b8c6b;hpb=5cc8ebe060af4b1f005fbe015379cd126f1bb6b9;p=pintos-anon

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;