implemented pagination

[helm.git] / helm / searchEngine / mooglePp.mli

diff --git a/helm/searchEngine/mooglePp.mli b/helm/searchEngine/mooglePp.mli
index 1cea1074fc806e60188297638cb4bb9fece82bb4..18a169d0b19cfead7992fec94d2e790596cd49ad 100644 (file)
--- a/helm/searchEngine/mooglePp.mli
+++ b/helm/searchEngine/mooglePp.mli
@@ -1,3 +1,3 @@
 val pp_error : string -> string -> string
-val theory_of_result : Http_types.request -> string list -> string
+val theory_of_result : Http_types.request -> int -> string list -> string
 val html_of_interpretations: (string * string) list list -> string