Release coccinelle-0.1.2

[bpt/coccinelle.git] / parsing_c / static / gitweb.css

diff --git a/parsing_c/unparse_c2.mli b/parsing_c/unparse_c2.mli
deleted file mode 100644 (file)
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