X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/708f4980a90e2a254d7863f875888e9f5c6db0b3..978fd7e56b141f7e4c8930acdbf0a806489e63a5:/parsing_cocci/parse_cocci.mli

diff --git a/parsing_cocci/parse_cocci.mli b/parsing_cocci/parse_cocci.mli
index c7e2164..ef5e003 100644
--- 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 *)