summaryrefslogtreecommitdiff
path: root/set_bitsets.c
diff options
context:
space:
mode:
Diffstat (limited to 'set_bitsets.c')
-rw-r--r--set_bitsets.c4
1 files 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)