Release coccinelle-0.1.9-rc1

[bpt/coccinelle.git] / parsing_cocci / parse_cocci.mli

diff --git a/parsing_cocci/parse_cocci.mli b/parsing_cocci/parse_cocci.mli
index c7e2164..ef5e003 100644 (file)
--- a/parsing_cocci/parse_cocci.mli
+++ b/parsing_cocci/parse_cocci.mli
@@ -2,9 +2,13 @@ val process :
     string (* filename *) -> string option (* iso filename *) ->
       bool (* verbose? *) ->
        (Ast_cocci.metavar list list) * (Ast_cocci.rule list) *
-         (((Ast_cocci.meta_name list) list) list) (*fvs of the rule*) *
-         (((Ast_cocci.meta_name list) list) list) (*negated pos vars*) *
-         (((Ast_cocci.meta_name list) list) list) (*used after list*) *
-         (((Ast_cocci.meta_name list) list) list) (*positions list*) *
+         Ast_cocci.meta_name list list list (*fvs of the rule*) *
+         Ast_cocci.meta_name list list list (*negated pos vars*) *
+         (Ast_cocci.meta_name list list list (*used after list*) *
+            (*fresh used after list*)
+            Ast_cocci.meta_name list list list *
+            (*fresh used after list seeds*)
+            Ast_cocci.meta_name list list list) *
+         Ast_cocci.meta_name list list list (*positions list*) *
          string list list (* non metavars in - code, for grep *) *
          string option (* non metavars in - code, for glimpse *)