aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--powerpc/AsmToJSON.ml2
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