X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2FmooglePp.mli;fp=helm%2FsearchEngine%2FmooglePp.mli;h=18a169d0b19cfead7992fec94d2e790596cd49ad;hb=5cb2fa1e3e6f5d9d7a273b45c56a6c1196982c4a;hp=1cea1074fc806e60188297638cb4bb9fece82bb4;hpb=fd13a9fb670fe5fd4dbb2509a4e961757b9efba4;p=helm.git

diff --git a/helm/searchEngine/mooglePp.mli b/helm/searchEngine/mooglePp.mli
index 1cea1074f..18a169d0b 100644
--- 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