Use of standard OCaml syntax

[helm.git] / matita / components / content_pres / content2presMatcher.ml

diff --git a/matita/components/content_pres/content2presMatcher.ml b/matita/components/content_pres/content2presMatcher.ml
index f6319c73581cd7a2f9ea0aef618b48c022336386..ff7c50e66bc7324f7a5900fbe874dd47dca55c51 100644 (file)
--- 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)