From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 4 Jan 2006 21:16:36 +0000 (+0000)
Subject: Typo in comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e973f5f63b36bdd9909b23da2a61c8868cf6c163;p=pintos-anon

Typo in comment.
---

diff --git a/src/userprog/pagedir.c b/src/userprog/pagedir.c
index 5e7fa92..820755f 100644
--- a/src/userprog/pagedir.c
+++ b/src/userprog/pagedir.c
@@ -89,7 +89,7 @@ lookup_page (uint32_t *pd, const void *vaddr, bool create)
    address KPAGE in page directory PD.
    UPAGE must not already be mapped.
    KPAGE should probably be a page obtained from the user pool
-   with palloc_get_page() .
+   with palloc_get_page().
    If WRITABLE is true, the new page is read/write;
    otherwise it is read-only.
    Returns true if successful, false if memory allocation