X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent_pres%2Fcontent2presMatcher.ml;h=ff7c50e66bc7324f7a5900fbe874dd47dca55c51;hb=8a5c30a914d7ff665218b31853c6fb4bcf58aa08;hp=f6319c73581cd7a2f9ea0aef618b48c022336386;hpb=d7aca3eacb4bd8dc56223098f92e5370c82f92ff;p=helm.git

diff --git a/matita/components/content_pres/content2presMatcher.ml b/matita/components/content_pres/content2presMatcher.ml
index f6319c735..ff7c50e66 100644
--- a/matita/components/content_pres/content2presMatcher.ml
+++ b/matita/components/content_pres/content2presMatcher.ml
@@ -217,7 +217,7 @@ input
           | Some (env', ctors', 0) ->
               let env' =
                 List.map
-                  (fun (name, (_ty, _v)) as binding ->
+                  (fun ((name, (_ty, _v)) as binding) ->
                     if List.exists (fun (name', _) -> name = name') p_opt_decls
                     then Env.opt_binding_some binding
                     else binding)