Release coccinelle-0.2.3rc1

[bpt/coccinelle.git] / parsing_c / ast_c.ml

diff --git a/parsing_c/ast_c.ml b/parsing_c/ast_c.ml
index 149d031..2c4c5ff 100644 (file)
--- a/parsing_c/ast_c.ml
+++ b/parsing_c/ast_c.ml
@@ -685,11 +685,14 @@ and program = toplevel list
  *)
 and metavars_binding = (Ast_cocci.meta_name, metavar_binding_kind) assoc
   and metavar_binding_kind =
-  | MetaIdVal        of string
+  | MetaIdVal        of string *
+                       Ast_cocci.meta_name list (* negative constraints *)
   | MetaFuncVal      of string
   | MetaLocalFuncVal of string
 
-  | MetaExprVal      of expression (* a "clean expr" *)
+  | MetaExprVal      of expression (* a "clean expr" *) *
+                       (*subterm constraints, currently exprs*)
+                       Ast_cocci.meta_name list
   | MetaExprListVal  of argument wrap2 list
   | MetaParamVal     of parameterType
   | MetaParamListVal of parameterType wrap2 list