From 8b24bf0f0fe164e39a2f5ca81e7c0214723b2be3 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 3 Nov 2015 17:15:27 +0100
Subject: Removed unused p_char_list function. Bug 17544.

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

(limited to 'powerpc/AsmToJSON.ml')

diff --git a/powerpc/AsmToJSON.ml b/powerpc/AsmToJSON.ml
index 9735966c..80fce39e 100644
--- a/powerpc/AsmToJSON.ml
+++ b/powerpc/AsmToJSON.ml
@@ -130,8 +130,6 @@ let p_crbit oc c =
 
 let p_label oc l = fprintf oc "{\"Label\":%ld}" (P.to_int32 l)
 
-let p_char_list oc l = fprintf oc "{\"String\":\"%a\"}" (fun oc -> List.iter (output_char oc)) l
-
 let p_list elem oc l =
   match l with
   | [] -> fprintf oc "[]"
-- 
cgit