diff options
Diffstat (limited to 'plugins/cc/ccalgo.ml')
-rw-r--r-- | plugins/cc/ccalgo.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/plugins/cc/ccalgo.ml b/plugins/cc/ccalgo.ml index d618e8426..810e4cf39 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 |