diff options
| -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@ |