From: Godmar Back <godmar@gmail.com>
Date: Sat, 13 Jan 2007 14:39:41 +0000 (+0000)
Subject: fixed grammar/typo
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8bedec788fc4d8b49e6db1b2c3af369281926c87;p=pintos-anon

fixed grammar/typo
---

diff --git a/doc/userprog.texi b/doc/userprog.texi
index f005d55..b50dc36 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -301,7 +301,7 @@ regardless of what user process or kernel thread is running.  In
 Pintos, kernel virtual memory is mapped one-to-one to physical
 memory, starting at @code{PHYS_BASE}.  That is, virtual address
 @code{PHYS_BASE} accesses physical
-address 0, virtual address @code{PHYS_BASE} + @t{0x1234} access
+address 0, virtual address @code{PHYS_BASE} + @t{0x1234} accesses
 physical address @t{0x1234}, and so on up to the size of the machine's
 physical memory.