]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/whelp/mooglePp.ml
half ported to the "new" module organization.
[helm.git] / daemons / whelp / mooglePp.ml
index 3af0afb4051f882f5251d44891ecc787c93cc232..026200b20be2ac78e57155cba5aaea4b793062b5 100644 (file)
@@ -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