From 6bece6366fb66be3d1ac6d2586f3f8643fed97aa Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 28 Jun 2017 13:47:52 +0200 Subject: 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. --- riscV/AsmToJSON.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'riscV') diff --git a/riscV/AsmToJSON.ml b/riscV/AsmToJSON.ml index 3580b618..ea22bdab 100644 --- a/riscV/AsmToJSON.ml +++ b/riscV/AsmToJSON.ml @@ -14,5 +14,5 @@ (* Dummy function *) -let p_program oc prog = - () +let pp_program pp prog = + Format.fprintf pp "null" -- cgit