Change AsmToJson to be similar to other printers.

2 files changed, 12 insertions, 4 deletions

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 = ()
diff --git a/x86/AsmToJSON.mli b/x86/AsmToJSON.mli
index 058a4e83..52c055c4 100644
--- a/x86/AsmToJSON.mli
+++ b/x86/AsmToJSON.mli
@@ -10,6 +10,10 @@
 (*                                                                     *)
 (* *********************************************************************)
 
-val pp_program: Format.formatter -> (Asm.coq_function AST.fundef, 'a) AST.program -> unit
-
 val pp_mnemonics: Format.formatter -> unit
+
+val print_if:  (Asm.coq_function AST.fundef, 'a) AST.program  -> string -> unit
+
+val destination: string option ref
+
+val sdump_folder : string ref