X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fdaemons%2Fwhelp%2FmooglePp.ml;h=026200b20be2ac78e57155cba5aaea4b793062b5;hb=c64b3d8555e92bd3009a714429d8d641629a3805;hp=3af0afb4051f882f5251d44891ecc787c93cc232;hpb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;p=helm.git

diff --git a/helm/software/daemons/whelp/mooglePp.ml b/helm/software/daemons/whelp/mooglePp.ml
index 3af0afb40..026200b20 100644
--- a/helm/software/daemons/whelp/mooglePp.ml
+++ b/helm/software/daemons/whelp/mooglePp.ml
@@ -62,7 +62,7 @@ let html_of_interpretations interps =
     sprintf "<table>\n%s\n</table>"
       (String.concat "\n"
         (List.map
-           (fun (k, v) ->
+           (fun (_, k, v) ->
               sprintf "<tr><td><em>%s</em></td><td>%s</td></tr>" k v)
            interp))
   in