From c0da0f3a550887c84982722c3b9596f03dc97e61 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Mon, 25 Sep 2017 17:37:14 +0200 Subject: Added dump-mnemonics option. This option allows it to dump a list of all used mnemonics into a file. Bug 22239 --- powerpc/AsmToJSON.mli | 2 ++ 1 file changed, 2 insertions(+) (limited to 'powerpc/AsmToJSON.mli') diff --git a/powerpc/AsmToJSON.mli b/powerpc/AsmToJSON.mli index e4d9c39a..058a4e83 100644 --- a/powerpc/AsmToJSON.mli +++ b/powerpc/AsmToJSON.mli @@ -11,3 +11,5 @@ (* *********************************************************************) val pp_program: Format.formatter -> (Asm.coq_function AST.fundef, 'a) AST.program -> unit + +val pp_mnemonics: Format.formatter -> unit -- cgit