From 94c18ad233b9e16ee9263ba8b717630b4adbf91e Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Fri, 5 Jan 2018 16:51:32 +0100 Subject: Change AsmToJson to be similar to other printers. --- x86/AsmToJSON.ml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'x86/AsmToJSON.ml') diff --git a/x86/AsmToJSON.ml b/x86/AsmToJSON.ml index 8488bfde..59cc7d40 100644 --- a/x86/AsmToJSON.ml +++ b/x86/AsmToJSON.ml @@ -13,7 +13,11 @@ (* Simple functions to serialize ia32 Asm to JSON *) (* Dummy function *) -let pp_program pp prog = - Format.fprintf pp "null" +let destination: string option ref = ref None + +let sdump_folder = ref "" + +let print_if prog sourcename = + () let pp_mnemonics pp = () -- cgit