X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fdaemons%2Fwhelp%2FmooglePp.ml;h=026200b20be2ac78e57155cba5aaea4b793062b5;hb=8de75e1a28002270f98c13eb0933f1780c181eb5;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 "