diff --git a/figures/virtual-channel-three-participants.tex b/figures/virtual-channel-three-participants.tex index 91859d4..d29de12 100644 --- a/figures/virtual-channel-three-participants.tex +++ b/figures/virtual-channel-three-participants.tex @@ -7,7 +7,7 @@ \node (b2) at (1,-1) { $\finalizable{L''}{\alloc{G'': x}}{C, I}$ }; \node (g0) at (-1,-2) { $\finalizable{G}{\guar{J}{\rchi, A, I}}{A, I}$ }; \node (g1) at (0,-2) { $\finalizable{G'}{\guar{J}{\rchi, B, I}}{B, I}$ }; - \node (g2) at (1,-2) { $\finalizable{G''}{\guar{J}{\rchi, B, I}}{C, I}$ }; + \node (g2) at (1,-2) { $\finalizable{G''}{\guar{J}{\rchi, C, I}}{C, I}$ }; \node (j) at (0,-3) { $\finalizable{J}{\alloc{\rchi: x, I: x}}{A,B,C,I}$ }; \node (c) at (0,-4) { $\finalizable{\rchi}{\alloc{A: a, B: b, C: c}}{A,B,C}$ }; diff --git a/main.pdf b/main.pdf index 1064169..f0462bd 100644 Binary files a/main.pdf and b/main.pdf differ