fixed +1 numbering (added when the memory consuming fold_right was committed)

diff --git a/helm/searchEngine/mooglePp.ml b/helm/searchEngine/mooglePp.ml
index 8de1426fe77ad267696caacb00ff1b04866f4262..3af0afb4051f882f5251d44891ecc787c93cc232 100644 (file)
--- 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;