From 3ffda353b0d92ccd0ff3693ad0be81531c3c0537 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 9 Mar 2011 13:35:00 +0000
Subject: Updated for Coq 8.3pl1.  Some cleanups in test/*/Makefile.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1597 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 backend/Coloringaux.ml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'backend/Coloringaux.ml')

diff --git a/backend/Coloringaux.ml b/backend/Coloringaux.ml
index 04209726..02081d56 100644
--- a/backend/Coloringaux.ml
+++ b/backend/Coloringaux.ml
@@ -169,13 +169,12 @@ end
 
 module IntSet = Set.Make(struct
   type t = int
-  let compare x y =
-    if x < y then -1 else if x > y then 1 else 0
+  let compare (x:int) (y:int) = compare x y
 end)
 
 module IntPairSet = Set.Make(struct
   type t = int * int
-  let compare (x1, y1) (x2, y2) =
+  let compare ((x1, y1): (int * int)) (x2, y2) =
     if x1 < x2 then -1 else
     if x1 > x2 then 1 else
     if y1 < y2 then -1 else
-- 
cgit