X-Git-Url: http://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/1be43e1299fc61538d62349ca012514b28f8734f:/parsing_c/unparse_c2.mli..485bce717a659e363d3bb74bf2ff76f1cd3b0ff7:/parsing_c/static/gitweb.css diff --git a/parsing_c/unparse_c2.mli b/parsing_c/unparse_c2.mli deleted file mode 100644 index b0bcd36..0000000 --- a/parsing_c/unparse_c2.mli +++ /dev/null @@ -1,7 +0,0 @@ -open Common - -type ppmethod = PPnormal | PPviastr - -(* program -> output filename (often "/tmp/output.c") -> unit *) -val pp_program : - (Parse_c.toplevel2 * ppmethod) list -> filename -> unit