Is there a way to edit string constants?  I need to change

"NVRM: ...."

into

"..."

That is, I need to remove the "NVRM: " from a string.  I tried this:

@depends on rule1@
@@
-"NVRM: "
+""

But it doesn't do anything.
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to