From 932305f71062fd4f3d108ba866b5e1c8b5b4a94c Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 4 Feb 2016 10:32:53 +0100
Subject: Fixed missing \" in json printing for registers.

---
 powerpc/AsmToJSON.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'powerpc/AsmToJSON.ml')

diff --git a/powerpc/AsmToJSON.ml b/powerpc/AsmToJSON.ml
index 4f6a1864..724f8753 100644
--- a/powerpc/AsmToJSON.ml
+++ b/powerpc/AsmToJSON.ml
@@ -55,7 +55,7 @@ let p_ireg oc reg =
   | GPR29 -> 29
   | GPR30 -> 30
   | GPR31 -> 31
-  in p_jmember oc "Register" (fun oc -> fprintf oc "r%d") num
+  in p_jmember oc "Register" (fun oc d -> p_jstring oc ("r"^(string_of_int d))) num
 
 let p_freg oc reg =
   let num = match reg with
@@ -91,7 +91,7 @@ let p_freg oc reg =
   | FPR29 -> 29
   | FPR30 -> 30
   | FPR31 -> 31
-  in p_jmember oc "Register" (fun oc -> fprintf oc "f%d") num
+  in p_jmember oc "Register" (fun oc d -> p_jstring oc ("f"^(string_of_int d))) num
 
 let p_preg oc = function
   | IR ir -> p_ireg oc ir
-- 
cgit