diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-07 16:00:41 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2018-03-07 16:00:41 +0100 |
commit | 780028efb317afcbcecabc075945a8f920de8ccc (patch) | |
tree | 70da1b40682a2afedf78c974109e72f69b35dd88 /arm | |
parent | 2e57ee6dc7c43c96a6332538288f749b5bcde1c6 (diff) | |
download | compcert-780028efb317afcbcecabc075945a8f920de8ccc.tar.gz compcert-780028efb317afcbcecabc075945a8f920de8ccc.zip |
Also use binary output for arm. Fix 23172
Diffstat (limited to 'arm')
-rw-r--r-- | arm/AsmToJSON.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arm/AsmToJSON.ml b/arm/AsmToJSON.ml index 49cca929..22adc44c 100644 --- a/arm/AsmToJSON.ml +++ b/arm/AsmToJSON.ml @@ -310,7 +310,7 @@ let print_if prog sourcename = | None -> () | Some f -> let f = Filename.concat !sdump_folder f in - let oc = open_out f in + let oc = open_out_bin f in JsonAST.pp_ast (Format.formatter_of_out_channel oc) pp_instructions prog sourcename; close_out oc |