From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 30 Jan 2005 06:38:51 +0000 (+0000)
Subject: Fix comment.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=76b07342aab9c426a0244e0b6b75ba50659a5cc9

Fix comment.
---

diff --git a/src/threads/mmu.h b/src/threads/mmu.h
index 64d82da..a1f05ae 100644
--- a/src/threads/mmu.h
+++ b/src/threads/mmu.h
@@ -191,7 +191,7 @@ static inline uint32_t pte_create_user (uint32_t *page, bool writable) {
 }
 
 /* Returns a pointer to the page that page table entry PTE, which
-   must "present", points to. */
+   must be "present", points to. */
 static inline void *pte_get_page (uint32_t pte) {
   ASSERT (pte & PG_P);
   return ptov (pte & ~PGMASK);