> The spaces around the [ ] means that they are tokens. I would appreciate if the distinction will become easier for such characters.
Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci