From fb4e582bd0a673fc792d0fcc49fdcac2097bb0e0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 11 Nov 2017 16:01:34 -0500
Subject: Manual fix: [self] only callable on the server

---
 doc/manual.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/manual.tex')

diff --git a/doc/manual.tex b/doc/manual.tex
index 1b476499..985dab5b 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -2237,7 +2237,7 @@ $$\begin{array}{l}
 
 \subsubsection{Asynchronous Message-Passing}
 
-To support asynchronous, ``server push'' delivery of messages to clients, any client that might need to receive an asynchronous message is assigned a unique ID.  These IDs may be retrieved both on the client and on the server, during execution of code related to a client.
+To support asynchronous, ``server push'' delivery of messages to clients, any client that might need to receive an asynchronous message is assigned a unique ID.  These IDs may be retrieved only on the server, during execution of code related to a client.
 
 $$\begin{array}{l}
   \mt{type} \; \mt{client} \\
-- 
cgit v1.2.3

