From 5b05d3668571bd9b748b781b0cc29ae10f745f61 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 10 Mar 2016 13:35:48 +0100
Subject: Code cleanup.

Removed some unused variables, functions etc. and resolved some
problems which occur if all warnings except 3,4,9 and 29 are active.
Bug 18394.
---
 backend/PrintMach.ml | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to 'backend/PrintMach.ml')

diff --git a/backend/PrintMach.ml b/backend/PrintMach.ml
index 0ce2e87b..07ec6a1a 100644
--- a/backend/PrintMach.ml
+++ b/backend/PrintMach.ml
@@ -15,14 +15,10 @@
 open Printf
 open Camlcoq
 open Datatypes
-open Maps
 open AST
-open Integers
-open Locations
 open Machregsaux
 open Mach
 open PrintAST
-open PrintOp
 
 let reg pp r =
   match name_of_register r with
@@ -61,9 +57,9 @@ let print_instruction pp i =
          (name_of_chunk chunk)
          (PrintOp.print_addressing reg) (addr, args)
          reg src
-  | Mcall(sg, fn) ->
+  | Mcall(_, fn) ->
       fprintf pp "\tcall %a\n" ros fn
-  | Mtailcall(sg, fn) ->
+  | Mtailcall(_, fn) ->
       fprintf pp "\ttailcall %a\n" ros fn
   | Mbuiltin(ef, args, res) ->
       fprintf pp "\t%a = %s(%a)\n"
-- 
cgit