From 87b510e5b0f363724eae5db9f177f167a3586015 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 1 Mar 2014 18:26:26 +0100
Subject: Fixing pervasive comparisons

---
 plugins/cc/ccalgo.ml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'plugins/cc')

diff --git a/plugins/cc/ccalgo.ml b/plugins/cc/ccalgo.ml
index d618e84265..810e4cf39d 100644
--- a/plugins/cc/ccalgo.ml
+++ b/plugins/cc/ccalgo.ml
@@ -88,11 +88,11 @@ struct
   type t = pa_constructor
   let compare { cnode = cnode0; arity = arity0; args = args0 }
               { cnode = cnode1; arity = arity1; args = args1 } =
-    let cmp = Pervasives.compare cnode0 cnode1 in
+    let cmp = Int.compare cnode0 cnode1 in
     if cmp = 0 then
-      let cmp' = Pervasives.compare arity0 arity1 in
+      let cmp' = Int.compare arity0 arity1 in
       if cmp' = 0 then
-        Pervasives.compare args0 args1
+        List.compare Int.compare args0 args1
       else
         cmp'
     else
@@ -103,9 +103,9 @@ module PafOrd =
 struct
   type t = pa_fun
   let compare { fsym = fsym0; fnargs = fnargs0 } { fsym = fsym1; fnargs = fnargs1 } =
-    let cmp = Pervasives.compare fsym0 fsym1 in
+    let cmp = Int.compare fsym0 fsym1 in
     if cmp = 0 then
-      Pervasives.compare fnargs0 fnargs1
+      Int.compare fnargs0 fnargs1
     else
       cmp
 end
-- 
cgit v1.2.3