On Thu, 2020-06-18 at 07:59 +0200, Julia Lawall wrote: > > What's the difference between "..." and "... when any"? > > A ... B connects an A to the closest B, as you might like in some code > with lots of locks and unlocks. When any picks up any subsequent B, even > if there is another B between the matched A and B.
OK, great, thanks for the explanation. Thanks a lot for your help! johannes _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci