From 79b61d359019fe008c9ab0b2da1f88f41ea1b74c Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Sun, 29 Nov 2015 07:04:06 +0100 Subject: fix documentation + add info manual MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- doc/protocol | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'doc/protocol') diff --git a/doc/protocol b/doc/protocol index a846581..f45799e 100644 --- a/doc/protocol +++ b/doc/protocol @@ -44,6 +44,5 @@ listen: and `V(a)` is done when exiting the scope. It also means that these actions [P(a) and V(a)] are undone when the process exits, or if the call fails. -`with V(a)` that `V(a)` is like `with P(a)` that `P(a)` and -`V(a)` are exchanged. +`with V(a)` is to `V(a)` as `with P(a)` is to `P(a)`. -- cgit v1.2.3-70-g09d2