X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=daemons%2Fwhelp%2FmooglePp.mli;h=b01b504f2316e329b443eda221f1baca255ffa5a;hb=ae1e6d714da0f555dfa9d7f1b0e9321278db12e5;hp=f3e2e595226e4c8ec7b7cbab3efc55a5c3413464;hpb=8feb1cda5703daa4371c556593bab63514423a58;p=helm.git

diff --git a/daemons/whelp/mooglePp.mli b/daemons/whelp/mooglePp.mli
index f3e2e5952..b01b504f2 100644
--- a/daemons/whelp/mooglePp.mli
+++ b/daemons/whelp/mooglePp.mli
@@ -31,5 +31,5 @@ val pp_error : string -> string -> string
   * QUERY_SUMMARY and QUERY_RESULTS tag in moogle's main template *)
 val theory_of_result : int -> string list -> string * string
 
-val html_of_interpretations: (string * string) list list -> string
+val html_of_interpretations: ('a * string * string) list list -> string