X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2FmooglePp.mli;h=18a169d0b19cfead7992fec94d2e790596cd49ad;hb=57ad518c58e0b9684c5ea696a359037bed18dbc9;hp=1cea1074fc806e60188297638cb4bb9fece82bb4;hpb=ffb569818f6e4d9723dbd2c1721bbe80e75278e9;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