X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/b23ff9c7302ebf30b88a122d92bbfd8656f4d192..d3f655c619238baba11f20bc9f55769e66d3e428:/parsing_cocci/adjust_pragmas.ml diff --git a/parsing_cocci/adjust_pragmas.ml b/parsing_cocci/adjust_pragmas.ml index 43e09bd..9d9134c 100644 --- a/parsing_cocci/adjust_pragmas.ml +++ b/parsing_cocci/adjust_pragmas.ml @@ -216,22 +216,20 @@ let rec left_ty t = let rec left_ident i = match Ast0.unwrap i with - Ast0.Id(name) -> - call_right left_mcode name i - (function name -> Ast0.Id(name)) - | Ast0.MetaId(name,a,b) -> - call_right left_mcode name i - (function name -> Ast0.MetaId(name,a,b)) - | Ast0.MetaFunc(name,a,b) -> - call_right left_mcode name i - (function name -> Ast0.MetaFunc(name,a,b)) - | Ast0.MetaLocalFunc(name,a,b) -> - call_right left_mcode name i - (function name -> Ast0.MetaLocalFunc(name,a,b)) - | Ast0.OptIdent(id) -> - call_right left_ident id i (function id -> Ast0.OptIdent(id)) - | Ast0.UniqueIdent(id) -> - call_right left_ident id i (function id -> Ast0.UniqueIdent(id)) + Ast0.Id(name) -> + call_right left_mcode name i (function name -> Ast0.Id(name)) + | Ast0.MetaId(name,a,b) -> + call_right left_mcode name i (function name -> Ast0.MetaId(name,a,b)) + | Ast0.MetaFunc(name,a,b) -> + call_right left_mcode name i (function name -> Ast0.MetaFunc(name,a,b)) + | Ast0.MetaLocalFunc(name,a,b) -> + call_right left_mcode name i + (function name -> Ast0.MetaLocalFunc(name,a,b)) + | Ast0.DisjId(starter,ids,mids,ender) -> None + | Ast0.OptIdent(id) -> + call_right left_ident id i (function id -> Ast0.OptIdent(id)) + | Ast0.UniqueIdent(id) -> + call_right left_ident id i (function id -> Ast0.UniqueIdent(id)) let left_fundecl name fninfo = let fncall_right processor data cont =