Aligned fork_chan tactic binders with protocols

theories/channel/proofmode.v

@@ -492,8 +492,8 @@ Tactic Notation "wp_new_chan" constr(prot) "as"
 
 Tactic Notation "wp_fork_chan" constr(prot) "as"
        simple_intropattern(c1) constr(pat1) "and" simple_intropattern(c2) constr(pat2) :=
-  wp_smart_apply (fork_chan_spec prot); [iIntros (c1); iIntros pat1|
-                                         iIntros (c2); iIntros pat2].
+  wp_smart_apply (fork_chan_spec prot); [iIntros (c2); iIntros pat2|
+                                         iIntros (c1); iIntros pat1].
 
 Tactic Notation "wp_fork_chan" constr(prot) :=
   wp_smart_apply (fork_chan_spec prot).