[Cocci] change #include

[qp...@yahoo.com]

how can i change #include directives file name?
this doesn't work:
@@ @@
-#include <a.h>
+#include <b.h>
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci