aboutsummaryrefslogtreecommitdiffstats
path: root/doc/protocol
diff options
context:
space:
mode:
Diffstat (limited to 'doc/protocol')
-rw-r--r--doc/protocol3
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)`.