diff options
| author | Himangi Saraogi <himangi774@gmail.com> | 2014-05-28 10:10:47 -0400 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2014-08-06 06:10:17 -0400 |
| commit | b5889ab7d4e6ff194ff1ef8ad2eb9266a23e376b (patch) | |
| tree | 71a300aedbc69e2e773e0d32166d860396c156ee /scripts/coccinelle/null/badzero.cocci | |
| parent | aa8dbeee5ee012e1ee595dd1df9be04e161a3fd4 (diff) | |
coccinelle/null: solve parse error
This patch solves the parse-error by adding @@ . This is necessary since
Coccinelle version 1.0.0-rc20. Also, the comment is added to use a
recent version of Coccinelle.
Signed-off-by: Himangi Saraogi <himangi774@gmail.com>
Acked-by: Julia Lawall <julia.lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'scripts/coccinelle/null/badzero.cocci')
| -rw-r--r-- | scripts/coccinelle/null/badzero.cocci | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/coccinelle/null/badzero.cocci b/scripts/coccinelle/null/badzero.cocci index d79baf7220e7..5551da2b4fe3 100644 --- a/scripts/coccinelle/null/badzero.cocci +++ b/scripts/coccinelle/null/badzero.cocci | |||
| @@ -10,7 +10,7 @@ | |||
| 10 | // Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2. | 10 | // Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2. |
| 11 | // Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2. | 11 | // Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2. |
| 12 | // URL: http://coccinelle.lip6.fr/ | 12 | // URL: http://coccinelle.lip6.fr/ |
| 13 | // Comments: | 13 | // Comments: Requires Coccinelle version 1.0.0-rc20 or later |
| 14 | // Options: | 14 | // Options: |
| 15 | 15 | ||
| 16 | virtual patch | 16 | virtual patch |
| @@ -19,6 +19,7 @@ virtual org | |||
| 19 | virtual report | 19 | virtual report |
| 20 | 20 | ||
| 21 | @initialize:ocaml@ | 21 | @initialize:ocaml@ |
| 22 | @@ | ||
| 22 | let negtable = Hashtbl.create 101 | 23 | let negtable = Hashtbl.create 101 |
| 23 | 24 | ||
| 24 | @depends on patch@ | 25 | @depends on patch@ |