From 765da0b81086f2c025258507c0ee27e3b3900dfb Mon Sep 17 00:00:00 2001
From: Mendes Oulamara <oulamara@clipper.ens.fr>
Date: Wed, 4 Dec 2013 16:55:08 +0100
Subject: Change meaning of heuritic in the elt_of_set_heur function

---
 set_bitsets.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/set_bitsets.c b/set_bitsets.c
index 53af83a..2c85277 100644
--- a/set_bitsets.c
+++ b/set_bitsets.c
@@ -132,8 +132,8 @@ int elt_of_set(const set s){
 int elt_of_set_heur(const set s, int h){
     int N=nbCells(s.N), i;
 
-    if(s.tab[h/SCOD]>>(h%SCOD+1) !=0)
-	return h + dyadic_val(s.tab[h/SCOD]>>(h%SCOD+1)) + 1;
+    if(s.tab[h/SCOD]>>(h%SCOD) !=0)
+	return h + dyadic_val(s.tab[h/SCOD]>>(h%SCOD)) ;
 
     for(i=0; i<N; i++)
 	if(s.tab[(i+h/SCOD+1)%N] != 0)
-- 
cgit v1.2.3