diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/protocol | 3 |
1 files changed, 1 insertions, 2 deletions
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)`. |