...

[helm.git] / matita / components / extlib / discrimination_tree.ml

diff --git a/matita/components/extlib/discrimination_tree.ml b/matita/components/extlib/discrimination_tree.ml
index 4caf38de19b545b9e3937336debf6b61abf79e2a..d69228b0c257e2784801f24f2e1cb22bf52a7faa 100644 (file)
--- a/matita/components/extlib/discrimination_tree.ml
+++ b/matita/components/extlib/discrimination_tree.ml
@@ -184,7 +184,7 @@ and type data = A.elt and type dataset = A.t =
 
       module O = struct
         type t = A.t * int
-        let compare (_,a) (_,b) = compare a b
+        let compare (_,a) (_,b) = compare b a
       end
       module S = Set.Make(O)