diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-01-05 16:51:32 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-01-05 16:51:32 +0100 |
commit | 94c18ad233b9e16ee9263ba8b717630b4adbf91e (patch) | |
tree | f2e10ea75c79137c78021bc01dca112e9b430c7f /riscV/AsmToJSON.ml | |
parent | 91601d4bd435efdee12e08188573f0e9bd910a8a (diff) | |
download | compcert-94c18ad233b9e16ee9263ba8b717630b4adbf91e.tar.gz compcert-94c18ad233b9e16ee9263ba8b717630b4adbf91e.zip |
Change AsmToJson to be similar to other printers.
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 = () |