Remove FIXME that I fixed in the sources.

[pintos-anon] / doc / userprog.texi

diff --git a/doc/userprog.texi b/doc/userprog.texi
index f80a80c28ad0ac6e705447fee78900b3380bb74c..b3f8f4c8815565ced077639077ca4aa3473a94db 100644 (file)
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -445,8 +445,6 @@ limit of 128 open files per process (as the Solaris machines here do).
 @b{What happens when two (or more) processes have a file open and one of
 them removes it?}
 
-FIXME FIXME FIXME
-
 You should copy the standard Unix semantics for files.  That is, when
 a file is removed an process which has a file descriptor for that file
 may continue to do operations on that descriptor.  This means that