X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fmmu.h;h=a1f05ae7b489a5f61f0f6f2e5f36b9bd320f5afa;hb=76b07342aab9c426a0244e0b6b75ba50659a5cc9;hp=64d82daa8e9b82098ef14bf4b9f56fe7b34c688d;hpb=0550d2e705c042d659a7fab480431c62cb26213d;p=pintos-anon

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);