Use of standard OCaml syntax

[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 1a8147f7db8d62cb4eaf51111daa4a77e5587607..beb6d51fd280916683b85e4c417d7fe8eb2b0833 100644 (file)
--- 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)