X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fthreads.texi;h=c1fcfff02e7f5495c4201198b847bb75c9f4d4ac;hb=98c2fc1ab7d395bb92cf4a57233fe432539d26a9;hp=7a048e7e8af35a8332e9d2bc4cd8d7b554b3cd5a;hpb=f2e153aa439ac3ebb9070dc2e9ac5f7c9ef2fd93;p=pintos-anon

diff --git a/doc/threads.texi b/doc/threads.texi
index 7a048e7..c1fcfff 100644
--- 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