Release coccinelle-0.1.2
[bpt/coccinelle.git] / parsing_c / unparse_c.mli
similarity index 75%
rename from parsing_c/unparse_c2.mli
rename to parsing_c/unparse_c.mli
index b0bcd36..a51534f 100644 (file)
@@ -5,3 +5,5 @@ type ppmethod = PPnormal | PPviastr
 (* program -> output filename (often "/tmp/output.c") -> unit *) 
 val pp_program : 
   (Parse_c.toplevel2 * ppmethod) list -> filename -> unit
+
+val pp_program_default: Parse_c.program2 -> filename -> unit