HCoop
/
bpt
/
coccinelle.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Release coccinelle-0.2.3rc5
[bpt/coccinelle.git]
/
parsing_cocci
/
ast0_cocci.mli
diff --git
a/parsing_cocci/ast0_cocci.mli
b/parsing_cocci/ast0_cocci.mli
index
be0e456
..
31b3e47
100644
(file)
--- a/
parsing_cocci/ast0_cocci.mli
+++ b/
parsing_cocci/ast0_cocci.mli
@@
-154,7
+154,10
@@
and constraints =
| NotExpCstrt of expression list
| SubExpCstrt of Ast_cocci.meta_name list
| NotExpCstrt of expression list
| SubExpCstrt of Ast_cocci.meta_name list
-and listlen = Ast_cocci.meta_name mcode option
+and listlen =
+ MetaListLen of Ast_cocci.meta_name mcode
+ | CstListLen of int
+ | AnyListLen
(* --------------------------------------------------------------------- *)
(* Types *)
(* --------------------------------------------------------------------- *)
(* Types *)