X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=daemons%2Fwhelp%2FmooglePp.ml;h=026200b20be2ac78e57155cba5aaea4b793062b5;hb=b1653b6c1008bb99ee91dcf4f075711f4cbaffa4;hp=3af0afb4051f882f5251d44891ecc787c93cc232;hpb=8feb1cda5703daa4371c556593bab63514423a58;p=helm.git

diff --git a/daemons/whelp/mooglePp.ml b/daemons/whelp/mooglePp.ml
index 3af0afb40..026200b20 100644
--- a/daemons/whelp/mooglePp.ml
+++ b/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