From 780028efb317afcbcecabc075945a8f920de8ccc Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Wed, 7 Mar 2018 16:00:41 +0100
Subject: Also use binary output for arm. Fix 23172

---
 arm/AsmToJSON.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'arm/AsmToJSON.ml')

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
 
-- 
cgit