X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2FmooglePp.ml;h=3af0afb4051f882f5251d44891ecc787c93cc232;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=8de1426fe77ad267696caacb00ff1b04866f4262;hpb=dc4b58afdf53b96fb9163d396dab24b8c8ebcaa0;p=helm.git

diff --git a/helm/searchEngine/mooglePp.ml b/helm/searchEngine/mooglePp.ml
index 8de1426fe..3af0afb40 100644
--- a/helm/searchEngine/mooglePp.ml
+++ b/helm/searchEngine/mooglePp.ml
@@ -28,7 +28,7 @@ let theory_of_result page result =
   if results_no > 0 then
    let mode = "typeonly" in
    let output_results () =
-    let idx = ref ((page - 1) * results_per_page + 1) in
+    let idx = ref ((page - 1) * results_per_page) in
      List.iter
       (fun uri ->
         incr idx;