Fix ld output with recent versions of GCC and binutils

[pintos-anon] / AUTHORS

diff --git a/AUTHORS b/AUTHORS
index cf5844ad2a42abb73ec485c891f4917d8ce5ac4d..784002e03f3469101e9fbd2d10a97c9f1344c24d 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -11,10 +11,6 @@ src                                                  -*- text -*-
   Nachos C++ code into C.  These files bear the original UCB license
   notice.
 
-* Some of the source code is derived from code used in the
-  Massachusetts Institute of Technology's 6.828 advanced operating
-  systems course.  These files bear the original MIT license notice.
-
 projects
 --------