From daccd71382ad4ef9ea7009826b118d0f8e5d57cd Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 22 Jun 2005 12:00:53 +0000
Subject: [PATCH] fixed +1 numbering (added when the memory consuming
 fold_right was committed)

---
 helm/searchEngine/mooglePp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
2.39.2