X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fextlib%2Fdiscrimination_tree.ml;h=beb6d51fd280916683b85e4c417d7fe8eb2b0833;hb=926bd86002f91d2bf2a3ce7376309f5106268959;hp=1a8147f7db8d62cb4eaf51111daa4a77e5587607;hpb=66be8fbe19e2ccfa0e6a7abeba605152d1322595;p=helm.git

diff --git a/matita/components/extlib/discrimination_tree.ml b/matita/components/extlib/discrimination_tree.ml
index 1a8147f7d..beb6d51fd 100644
--- a/matita/components/extlib/discrimination_tree.ml
+++ b/matita/components/extlib/discrimination_tree.ml
@@ -229,7 +229,7 @@ and type data = A.elt and type dataset = A.t =
         let to_list t =
           undup ~eq:(fun x y -> A.equal (A.singleton x) (A.singleton y)) 
             (List.flatten (List.map 
-              (fun x,_ -> A.elements x) (merge (S.elements t))))
+              (fun (x,_) -> A.elements x) (merge (S.elements t))))
 
         let inter t1 t2 =
           let l1 = merge (S.elements t1) in
@@ -237,7 +237,7 @@ and type data = A.elt and type dataset = A.t =
           let res = 
            List.flatten
             (List.map
-              (fun s, w ->
+              (fun (s, w) ->
                  HExtlib.filter_map (fun x ->
                    try Some (x, w + snd (List.find (fun (s,_w) -> A.mem x s) l2))
                    with Not_found -> None)