Update docs.

[pintos-anon] / doc / threads.texi

diff --git a/doc/threads.texi b/doc/threads.texi
index 7a048e7e8af35a8332e9d2bc4cd8d7b554b3cd5a..c1fcfff02e7f5495c4201198b847bb75c9f4d4ac 100644 (file)
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -582,5 +582,3 @@ However, you are free to do so.
 No.  Hard-coding the dispatch table values is fine.
 @end enumerate
 @end enumerate
-
-@include mlfqs.texi