Julia Lawall [off-list ref] wrote:

The semantic patch that makes this change is as follows:
(http://coccinelle.lip6.fr/)

That URL doesn't appear to work:

Not Found
The requested URL /) was not found on this server.
Additionally, a 404 Not Found error was encountered while trying to use an ErrorDocument to handle the request.
Apache/2.2.8 (Mandriva Linux/PREFORK-6mdv2008.1) Server at coccinelle.lip6.fr Port 80

David