> 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 [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
