From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 20 Dec 2005 22:52:01 +0000 (+0000)
Subject: Wording.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=1f84c3bf3dee5711cae6260fa3a33e160c4e8a81

Wording.
---

diff --git a/doc/threads.texi b/doc/threads.texi
index 0bc1534..4056599 100644
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -721,6 +721,8 @@ scheduler at the same time.
 @item Can I use one queue instead of 64 queues?
 
 Yes, that's fine.  It's easiest to describe the algorithm in terms of 64
-separate queues, but that may not be the best implementation.  If you
-use a single queue, it should probably be sorted.
+separate queues, but that doesn't mean you have to implement it that
+way.
+
+If you use a single queue, it should probably be sorted.
 @end table