Fix comment.

diff --git a/src/threads/mmu.h b/src/threads/mmu.h
index 64d82daa8e9b82098ef14bf4b9f56fe7b34c688d..a1f05ae7b489a5f61f0f6f2e5f36b9bd320f5afa 100644 (file)
--- 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);