diff options
Diffstat (limited to 'scripts/coccinelle/free/devm_free.cocci')
| -rw-r--r-- | scripts/coccinelle/free/devm_free.cocci | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/coccinelle/free/devm_free.cocci b/scripts/coccinelle/free/devm_free.cocci index 0a1e36146d76..3d9349012bb3 100644 --- a/scripts/coccinelle/free/devm_free.cocci +++ b/scripts/coccinelle/free/devm_free.cocci | |||
| @@ -18,7 +18,7 @@ | |||
| 18 | // Copyright: (C) 2011 Gilles Muller, INRIA/LiP6. GPLv2. | 18 | // Copyright: (C) 2011 Gilles Muller, INRIA/LiP6. GPLv2. |
| 19 | // URL: http://coccinelle.lip6.fr/ | 19 | // URL: http://coccinelle.lip6.fr/ |
| 20 | // Comments: | 20 | // Comments: |
| 21 | // Options: -no_includes -include_headers | 21 | // Options: --no-includes --include-headers |
| 22 | 22 | ||
| 23 | virtual org | 23 | virtual org |
| 24 | virtual report | 24 | virtual report |