]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/mooglePp.ml
ocaml 3.09 transition
[helm.git] / helm / searchEngine / mooglePp.ml
index 8de1426fe77ad267696caacb00ff1b04866f4262..3af0afb4051f882f5251d44891ecc787c93cc232 100644 (file)
@@ -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;