X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/9f8e26f459677a621822918b7539ae94214621ac..ae4735db5e7e9386036cf7b496ebdc994514dc53:/parsing_c/parsing_consistency_c.mli diff --git a/parsing_c/parsing_consistency_c.mli b/parsing_c/parsing_consistency_c.mli index ad24556..bc0d417 100644 --- a/parsing_c/parsing_consistency_c.mli +++ b/parsing_c/parsing_consistency_c.mli @@ -1,4 +1,4 @@ (* check consistency and possibly change some Ident expression into * TypeName, especially in argument to functions. *) -val consistency_checking: +val consistency_checking: Ast_c.program -> Ast_c.program