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

(limited to 'backend/Splitting.ml')

diff --git a/backend/Splitting.ml b/backend/Splitting.ml
index 17b8098d..f09da104 100644
--- a/backend/Splitting.ml
+++ b/backend/Splitting.ml
@@ -13,10 +13,8 @@
 (* Live range splitting over RTL *)
 
 open Camlcoq
-open Datatypes
 open Coqlib
 open Maps
-open AST
 open Kildall
 open Registers
 open RTL
@@ -75,7 +73,7 @@ module LRMap = struct
 
   let bot : t = RMap.empty
 
-  let lub_opt_range r olr1 olr2 =
+  let lub_opt_range _ olr1 olr2 =
     match olr1, olr2 with
     | Some lr1, Some lr2 -> unify lr1 lr2; olr1
     | Some _, None -> olr1
-- 
cgit