|
@@ -10,7 +10,7 @@
|
|
// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2.
|
|
// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2.
|
|
// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2.
|
|
// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2.
|
|
// URL: http://coccinelle.lip6.fr/
|
|
// URL: http://coccinelle.lip6.fr/
|
|
-// Comments:
|
|
|
|
|
|
+// Comments: Requires Coccinelle version 1.0.0-rc20 or later
|
|
// Options:
|
|
// Options:
|
|
|
|
|
|
virtual patch
|
|
virtual patch
|
|
@@ -19,6 +19,7 @@ virtual org
|
|
virtual report
|
|
virtual report
|
|
|
|
|
|
@initialize:ocaml@
|
|
@initialize:ocaml@
|
|
|
|
+@@
|
|
let negtable = Hashtbl.create 101
|
|
let negtable = Hashtbl.create 101
|
|
|
|
|
|
@depends on patch@
|
|
@depends on patch@
|