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

(limited to 'backend/PrintCminor.ml')

diff --git a/backend/PrintCminor.ml b/backend/PrintCminor.ml
index 9b6b1488..5e686b55 100644
--- a/backend/PrintCminor.ml
+++ b/backend/PrintCminor.ml
@@ -17,7 +17,6 @@
 
 open Format
 open Camlcoq
-open Datatypes
 open Integers
 open AST
 open PrintAST
@@ -27,7 +26,7 @@ open Cminor
 
 type associativity = LtoR | RtoL | NA
 
-let rec precedence = function
+let precedence = function
   | Evar _ -> (16, NA)
   | Econst _ -> (16, NA)
   | Eunop _ -> (15, RtoL)
-- 
cgit