From 5dcf421950d08eacb7fc70b348d4fc153447ce9e Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 10 Mar 2016 18:42:08 +0100
Subject: Cleanup of ARM dependedn code.

Removed unused functions and avoid warnings.
Bug 18394.
---
 arm/Asmexpand.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'arm/Asmexpand.ml')

diff --git a/arm/Asmexpand.ml b/arm/Asmexpand.ml
index 5415f78e..e2b0cb6c 100644
--- a/arm/Asmexpand.ml
+++ b/arm/Asmexpand.ml
@@ -16,7 +16,6 @@
 
 open Asm
 open Asmexpandaux
-open Asmgen
 open AST
 open Camlcoq
 open Integers
@@ -382,7 +381,7 @@ let expand_instruction instr =
      else emit (Pldr (IR13,IR13,SOimm ofs))
   | Pbuiltin (ef,args,res) ->
      begin match ef with
-	   | EF_builtin (name,sg) ->
+	   | EF_builtin (name,_) ->
 	      expand_builtin_inline (camlstring_of_coqstring name) args res
 	   | EF_vload chunk ->
 	      expand_builtin_vload chunk args res
-- 
cgit