From 62e3d6b5f71d17fd4ef683d9f36461d9d16b1a6c Mon Sep 17 00:00:00 2001 From: xclerc Date: Thu, 24 Oct 2013 14:47:17 +0000 Subject: 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 --- plugins/btauto/refl_btauto.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'plugins/btauto') diff --git a/plugins/btauto/refl_btauto.ml b/plugins/btauto/refl_btauto.ml index 0b381407f..b90e8ddaf 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 -- cgit v1.2.3