X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_tactics%2FnCicElim.ml;h=5ed986a10e54a4c9eaef39130bb8fc73ba8e5f12;hb=926bd86002f91d2bf2a3ce7376309f5106268959;hp=5a5c7ba381f56216a15335cfecd93936602d1b39;hpb=66be8fbe19e2ccfa0e6a7abeba605152d1322595;p=helm.git

diff --git a/matita/components/ng_tactics/nCicElim.ml b/matita/components/ng_tactics/nCicElim.ml
index 5a5c7ba38..5ed986a10 100644
--- 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