X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_content%2Facic2astMatcher.ml;h=908aa942f8b34d7569e417a3fadc0d11e97d7282;hb=be88425efab1997c964137854e2f76aac6ebf877;hp=c711083204929699eca9756ec300d6bbbda42e2b;hpb=a46b2e95dd4b2496956c45e9895602a74e92fd3b;p=helm.git

diff --git a/helm/software/components/acic_content/acic2astMatcher.ml b/helm/software/components/acic_content/acic2astMatcher.ml
index c71108320..908aa942f 100644
--- a/helm/software/components/acic_content/acic2astMatcher.ml
+++ b/helm/software/components/acic_content/acic2astMatcher.ml
@@ -79,7 +79,7 @@ struct
   let compiler rows =
     let match_cb rows matched_terms constructors =
      HExtlib.list_findopt
-      (fun (pl,pid) ->
+      (fun (pl,pid) _ ->
         let env =
           try
             List.map2