diff options
Diffstat (limited to 'arm')
| -rw-r--r-- | arm/AsmToJSON.ml | 2 | ||||
| -rw-r--r-- | arm/AsmToJSON.mli | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/arm/AsmToJSON.ml b/arm/AsmToJSON.ml index 73706d3b..74c64180 100644 --- a/arm/AsmToJSON.ml +++ b/arm/AsmToJSON.ml @@ -16,3 +16,5 @@ let pp_program pp prog = Format.fprintf pp "null" + +let pp_mnemonics pp = () 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 |