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/PrintRTL.ml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'backend/PrintRTL.ml')

diff --git a/backend/PrintRTL.ml b/backend/PrintRTL.ml
index f2242c13..a22aa422 100644
--- a/backend/PrintRTL.ml
+++ b/backend/PrintRTL.ml
@@ -17,10 +17,8 @@ open Camlcoq
 open Datatypes
 open Maps
 open AST
-open Integers
 open RTL
 open PrintAST
-open PrintOp
 
 (* Printing of RTL code *)
 
@@ -63,11 +61,11 @@ let print_instruction pp (pc, i) =
          (PrintOp.print_addressing reg) (addr, args)
          reg src;
       print_succ pp s (pc - 1)
-  | Icall(sg, fn, args, res, s) ->
+  | Icall(_, fn, args, res, s) ->
       fprintf pp "%a = %a(%a)\n"
         reg res ros fn regs args;
       print_succ pp s (pc - 1)
-  | Itailcall(sg, fn, args) ->
+  | Itailcall(_, fn, args) ->
       fprintf pp "tailcall %a(%a)\n"
         ros fn regs args
   | Ibuiltin(ef, args, res, s) ->
-- 
cgit