diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-06-28 13:47:52 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-06-28 13:47:52 +0200 |
commit | 6bece6366fb66be3d1ac6d2586f3f8643fed97aa (patch) | |
tree | 2b0e54966538c8bd4ea0ad99af2e31b28187c24f /arm/AsmToJSON.mli | |
parent | 1530f96aa259f346f235de713ab53b682b6d82f6 (diff) | |
download | compcert-6bece6366fb66be3d1ac6d2586f3f8643fed97aa.tar.gz compcert-6bece6366fb66be3d1ac6d2586f3f8643fed97aa.zip |
Formatted json printing.
Instead of just dumping the json output it is now a little bit
formatted for better reading.
Furthermore the AsmToJson function for the non powerpc targets now
prints the json value "null" sucht that the resulting json file is
valid json.
Diffstat (limited to 'arm/AsmToJSON.mli')
-rw-r--r-- | arm/AsmToJSON.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arm/AsmToJSON.mli b/arm/AsmToJSON.mli index 20bcba5e..e4d9c39a 100644 --- a/arm/AsmToJSON.mli +++ b/arm/AsmToJSON.mli @@ -10,4 +10,4 @@ (* *) (* *********************************************************************) -val p_program: out_channel -> (Asm.coq_function AST.fundef, 'a) AST.program -> unit +val pp_program: Format.formatter -> (Asm.coq_function AST.fundef, 'a) AST.program -> unit |