diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-09-25 17:37:14 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-09-25 17:38:30 +0200 |
| commit | c0da0f3a550887c84982722c3b9596f03dc97e61 (patch) | |
| tree | f93ed7a3e19a45a03256e92093a4ecc268943d71 /arm/AsmToJSON.mli | |
| parent | 8d5c6bb8f0cac1339dec7b730997ee30b1517073 (diff) | |
| download | compcert-kvx-c0da0f3a550887c84982722c3b9596f03dc97e61.tar.gz compcert-kvx-c0da0f3a550887c84982722c3b9596f03dc97e61.zip | |
Added dump-mnemonics option.
This option allows it to dump a list of all used mnemonics into
a file.
Bug 22239
Diffstat (limited to 'arm/AsmToJSON.mli')
| -rw-r--r-- | arm/AsmToJSON.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arm/AsmToJSON.mli b/arm/AsmToJSON.mli index e4d9c39a..058a4e83 100644 --- a/arm/AsmToJSON.mli +++ b/arm/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 |