new snapshot

[helm.git] / daemons / whelp / mooglePp.mli

diff --git a/daemons/whelp/mooglePp.mli b/daemons/whelp/mooglePp.mli
index f3e2e595226e4c8ec7b7cbab3efc55a5c3413464..b01b504f2316e329b443eda221f1baca255ffa5a 100644 (file)
--- 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