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.ml | |
| parent | 1530f96aa259f346f235de713ab53b682b6d82f6 (diff) | |
| download | compcert-kvx-6bece6366fb66be3d1ac6d2586f3f8643fed97aa.tar.gz compcert-kvx-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.ml')
| -rw-r--r-- | arm/AsmToJSON.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arm/AsmToJSON.ml b/arm/AsmToJSON.ml index bb0c0c04..73706d3b 100644 --- a/arm/AsmToJSON.ml +++ b/arm/AsmToJSON.ml @@ -14,5 +14,5 @@ (* Dummy function *) -let p_program oc prog = - () +let pp_program pp prog = + Format.fprintf pp "null" |