Use of standard OCaml syntax

[helm.git] / matita / components / ng_tactics / nCicElim.ml

diff --git a/matita/components/ng_tactics/nCicElim.ml b/matita/components/ng_tactics/nCicElim.ml
index 5a5c7ba381f56216a15335cfecd93936602d1b39..5ed986a10e54a4c9eaef39130bb8fc73ba8e5f12 100644 (file)
--- a/matita/components/ng_tactics/nCicElim.ml
+++ b/matita/components/ng_tactics/nCicElim.ml
@@ -91,7 +91,7 @@ let mk_elim status uri leftno it (outsort,suffix) pragma =
                   let NReference.Ref (uri',_) = nref in
                    NUri.eq uri uri'
                  ->
-                  let abs = List.rev_map (fun id,_ -> mk_id id) context in
+                  let abs = List.rev_map (fun (id,_) -> mk_id id) context in
                   let name = mk_id name in
                    (name, Some (
                    List.fold_right