From: acondolu <andrea.condoluci@unibo.it>
Date: Mon, 11 Jun 2018 09:53:21 +0000 (+0200)
Subject: Fix: it was always stepping on one non-existing argument
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ee4df074206dd7decd12984fbfc6a4751b53eb0e;p=fireball-separation.git

Fix: it was always stepping on one non-existing argument
---

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)