From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 22 Sep 2004 07:17:53 +0000 (+0000)
Subject: Update docs.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=eee2ac3d1258d17ff92209ddb096ef7a2cad1c37

Update docs.
---

diff --git a/doc/threads.texi b/doc/threads.texi
index 5aaa732..3cb049a 100644
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -433,14 +433,6 @@ Test cases should be replacements for the existing @file{test.c}
 file.  Put them in a @file{threads/testcases} directory.
 @xref{TESTCASE}, for more information.
 
-@item
-@b{If a thread finishes, should its children be terminated immediately,
-or should they finish normally?}
-
-You should feel free to decide what semantics you think this
-should have. You need only provide justification for your
-decision.
-
 @item
 @b{Why can't I disable interrupts?}