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 | |
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')
-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@ |