diff options
-rw-r--r-- | powerpc/AsmToJSON.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/powerpc/AsmToJSON.ml b/powerpc/AsmToJSON.ml index 7c4c8f8a..eaa4c48b 100644 --- a/powerpc/AsmToJSON.ml +++ b/powerpc/AsmToJSON.ml @@ -378,7 +378,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 pp_ast (formatter_of_out_channel oc) pp_instructions prog sourcename; close_out oc |