diff options
| author | xclerc | 2013-10-24 14:47:17 +0000 |
|---|---|---|
| committer | xclerc | 2013-10-24 14:47:17 +0000 |
| commit | 62e3d6b5f71d17fd4ef683d9f36461d9d16b1a6c (patch) | |
| tree | 29c4dd138a02512a113cac99e4f679c30722d7f0 /plugins | |
| parent | 8c9ab46b0039b1944fbe008aa2bf98fcc5d0ae39 (diff) | |
Get rid of polymorphic comparison in "plugins/btauto/refl_btauto.ml".
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16927 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/btauto/refl_btauto.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/btauto/refl_btauto.ml b/plugins/btauto/refl_btauto.ml index 0b381407ff..b90e8ddaff 100644 --- a/plugins/btauto/refl_btauto.ml +++ b/plugins/btauto/refl_btauto.ml @@ -78,7 +78,7 @@ module Env = struct (* we need to get an ordered list *) let fold constr key accu = (key, constr) :: accu in let l = ConstrHashtbl.fold fold env [] in - let sorted_l = List.sort (fun p1 p2 -> compare (fst p1) (fst p2)) l in + let sorted_l = List.sort (fun p1 p2 -> Int.compare (fst p1) (fst p2)) l in List.map snd sorted_l end |