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 /x86/AsmToJSON.ml | |
| parent | 91601d4bd435efdee12e08188573f0e9bd910a8a (diff) | |
| download | compcert-94c18ad233b9e16ee9263ba8b717630b4adbf91e.tar.gz compcert-94c18ad233b9e16ee9263ba8b717630b4adbf91e.zip | |
Change AsmToJson to be similar to other printers.
Diffstat (limited to 'x86/AsmToJSON.ml')
| -rw-r--r-- | x86/AsmToJSON.ml | 8 |
1 files changed, 6 insertions, 2 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 = () |