From: Ben Pfaff <blp@cs.stanford.edu>
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;