Doc fix.

diff --git a/include/empthread.h b/include/empthread.h
index ed57279b7ad795f3b50495bf982ab68dee0a3564..b58c06545e72e11545aa3ecbdea46081fad4621f 100644 (file)
--- a/include/empthread.h
+++ b/include/empthread.h
@@ -187,6 +187,7 @@ void empth_terminate(empth_t *thread);
  * Put current thread to sleep until file descriptor FD is ready for I/O.
  * If FLAGS & EMPTH_FD_READ, wake up if FD is ready for input.
  * If FLAGS & EMPTH_FD_WRITE, wake up if FD is ready for output.
+ * At most one thread may sleep on the same file descriptor.
  * Note: Currently, Empire sleeps only on network I/O, i.e. FD is a
  * socket.  Implementations should not rely on that.
  */