From 7a8a7b225321b70d7a4a2ca5f6e1ba811bd378ab Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 10 Mar 2016 19:00:53 +0100
Subject: Clean up of ia32 target dependend code.

Removed some unused functions and opens.
Bug 18394
---
 arm/AsmToJSON.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'arm')

diff --git a/arm/AsmToJSON.ml b/arm/AsmToJSON.ml
index bb0c0c04..c895bfb2 100644
--- a/arm/AsmToJSON.ml
+++ b/arm/AsmToJSON.ml
@@ -14,5 +14,4 @@
 
 (* Dummy function *)
 
-let p_program oc prog =
-  ()
+let p_program _ _ = ()
-- 
cgit