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

(limited to 'backend/PrintLTL.ml')

diff --git a/backend/PrintLTL.ml b/backend/PrintLTL.ml
index 0f78bc58..ba28b30d 100644
--- a/backend/PrintLTL.ml
+++ b/backend/PrintLTL.ml
@@ -17,8 +17,7 @@ open Camlcoq
 open Datatypes
 open Maps
 open AST
-open Integers
-open Locations
+open !Locations
 open LTL
 open PrintAST
 open PrintOp
@@ -73,9 +72,9 @@ let print_instruction pp succ = function
   | Lstore(chunk, addr, args, src) ->
       fprintf pp "%s[%a] = %a"
          (name_of_chunk chunk) (print_addressing mreg) (addr, args) mreg src
-  | Lcall(sg, fn) ->
+  | Lcall(_, fn) ->
       fprintf pp "call %a" ros fn
-  | Ltailcall(sg, fn) ->
+  | Ltailcall(_, fn) ->
       fprintf pp "tailcall %a" ros fn
   | Lbuiltin(ef, args, res) ->
       fprintf pp "%a = %s(%a)"
-- 
cgit