From 8219490aae44fa79932d913cc69941d6b22a70a3 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 4 Jan 2018 18:35:40 +0100 Subject: Handle dcompcertc and dparsedc like all dump opts. This time with the correct place for setting the destination files. Bug 20521 --- cparser/Cprint.mli | 3 +++ 1 file changed, 3 insertions(+) (limited to 'cparser/Cprint.mli') diff --git a/cparser/Cprint.mli b/cparser/Cprint.mli index fe71e4fe..be7ce029 100644 --- a/cparser/Cprint.mli +++ b/cparser/Cprint.mli @@ -33,3 +33,6 @@ val storage : Format.formatter -> C.storage -> unit val field : Format.formatter -> C.field -> unit val globdecl : Format.formatter -> C.globdecl -> unit val program : Format.formatter -> C.program -> unit + +val destination : string option ref +val print_if : C.program -> unit -- cgit