X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fdaemons%2Fwhelp%2FmooglePp.mli;h=b01b504f2316e329b443eda221f1baca255ffa5a;hb=1b8fc00fe0bac1e6ba9382c9b5a7fe761dedda31;hp=f3e2e595226e4c8ec7b7cbab3efc55a5c3413464;hpb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;p=helm.git

diff --git a/helm/software/daemons/whelp/mooglePp.mli b/helm/software/daemons/whelp/mooglePp.mli
index f3e2e5952..b01b504f2 100644
--- a/helm/software/daemons/whelp/mooglePp.mli
+++ b/helm/software/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