X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/d6a5560288005da768c418d34b92e811d8e30b8f..5636bb2c2537506718da74f85a2b81a5ff3df16f:/parsing_c/ast_c.ml

diff --git a/parsing_c/ast_c.ml b/parsing_c/ast_c.ml
index 149d031..2c4c5ff 100644
--- 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