From bf00b49660fee9b13268fac075a955c8485d4b6b Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Sun, 8 Dec 2013 11:22:47 +0100
Subject: Correction d'un bug relativement majeur.

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

(limited to 'set_bitsets.c')

diff --git a/set_bitsets.c b/set_bitsets.c
index 5578620..bbfd095 100644
--- a/set_bitsets.c
+++ b/set_bitsets.c
@@ -160,14 +160,16 @@ int elt_of_set(const set s){
 }
 
 int elt_of_set_heur(const set s, int h){
-    int N=nbCells(s.N), i;
+    int N=nbCells(s.N), i, cell;
 
     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)
-	    return i*SCOD+dyadic_val(s.tab[(i+h/SCOD+1)%N]);
+    for(i=0; i<N; i++) {
+		cell = (i + h/SCOD + 1) % N;
+		if(s.tab[cell] != 0)
+			return cell*SCOD + dyadic_val(s.tab[cell]);
+	}
 
 	printf("No element in an empty set!\n");
 	dump_set(s);
-- 
cgit v1.2.3