From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 13 Oct 2004 05:12:14 +0000 (+0000)
Subject: Punctuation fix.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=cc8dee2d0be2b8a5102f4b020c14acf57e641c08

Punctuation fix.
---

diff --git a/doc/threads.texi b/doc/threads.texi
index 9138daf..b177d43 100644
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -487,7 +487,7 @@ that @var{L} holds, then both @var{M} and @var{L} should be boosted to
 
 You only need to implement priority donation when a thread is waiting
 for a lock held by a lower-priority thread.  You do not need to
-implement this fix for semaphores, condition variables or joins.
+implement this fix for semaphores, condition variables, or joins.
 However, you do need to implement priority scheduling in all cases.
 
 You may assume a static priority for priority donation, that is, it is