From ee4df074206dd7decd12984fbfc6a4751b53eb0e Mon Sep 17 00:00:00 2001
From: acondolu <andrea.condoluci@unibo.it>
Date: Mon, 11 Jun 2018 11:53:21 +0200
Subject: [PATCH] Fix: it was always stepping on one non-existing argument

---
 ocaml/simple.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ocaml/simple.ml b/ocaml/simple.ml
index 13400b7..7c372cb 100644
--- a/ocaml/simple.ml
+++ b/ocaml/simple.ml
@@ -266,7 +266,7 @@ let find_eta_difference p t =
  let divargs = args_of_inert p.div in
  let conargs = args_of_inert t in
  let rec range i j =
-  if j = -1 then [] else i :: range (i+1) (j-1) in
+  if j = 0 then [] else i :: range (i+1) (j-1) in
  let rec aux k divargs conargs =
   match divargs,conargs with
      [],conargs -> range k (List.length conargs)
-- 
2.39.2