From 272a5b812b72f4c3e409ccdbeaf3476d95c4b552 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Tue, 15 Mar 2016 15:07:47 +0100
Subject: Deactivate warning 27 and added back removed code.

The code was mostly there for documentation effort. So warning
27 is deactivated again.
Bug 18349
---
 arm/AsmToJSON.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'arm/AsmToJSON.ml')

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