diff options
Diffstat (limited to 'riscV/AsmToJSON.ml')
-rw-r--r-- | riscV/AsmToJSON.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/riscV/AsmToJSON.ml b/riscV/AsmToJSON.ml index 1b2f7458..8a6a97a7 100644 --- a/riscV/AsmToJSON.ml +++ b/riscV/AsmToJSON.ml @@ -13,8 +13,11 @@ (* Simple functions to serialize RISC-V Asm to JSON *) (* Dummy function *) +let destination: string option ref = ref None -let pp_program pp prog = - Format.fprintf pp "null" +let sdump_folder = ref "" + +let print_if prog sourcename = + () let pp_mnemonics pp = () |