Please try this patch.
julia
diff --git a/engine/cocci_vs_c.ml b/engine/cocci_vs_c.ml
index 0e31412..482cc13 100644
--- a/engine/cocci_vs_c.ml
+++ b/engine/cocci_vs_c.ml
@@ -653,8 +653,6 @@ module type PARAM =
(A.meta_name A.mcode, (string Ast_c.wrap, Ast_c.il) either list) matcher
val distrf_pragmainfo :
(A.meta_name A.mcode, Ast_c.pragmainfo) matcher
- val distrf_ident_list :
- (A.meta_name A.mcode, (Ast_c.name, Ast_c.il) either list) matcher
val distrf_enum_fields :
(A.meta_name A.mcode, (B.oneEnumType, B.il) either list) matcher
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
