ng_disambiguation ng_kernel ng_refiner disambiguation: svn:ignore fixed

[helm.git] / helm / software / components / acic_content / acic2astMatcher.ml

diff --git a/helm/software/components/acic_content/acic2astMatcher.ml b/helm/software/components/acic_content/acic2astMatcher.ml
index c711083204929699eca9756ec300d6bbbda42e2b..908aa942f8b34d7569e417a3fadc0d11e97d7282 100644 (file)
--- 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