Merge pull request #68 from RyanGlScott/T67

Remove unused `enabled_count` variable
SRI-CSL · May 27, 2023 · b3a3bf8 · b3a3bf8
2 parents 126147f + 7d246bd
commit b3a3bf8
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/src/upolynomial/factorization.c b/src/upolynomial/factorization.c
@@ -1266,12 +1266,10 @@ void factorization_recombination(const lp_upolynomial_t* f, const lp_upolynomial
   const int size = factors_p->size;
 
   // Factors we are still considering (initially all with degree <= max_degree)
-  int enabled_count = 0;
   int enabled[size+1];
   for (k = 0; k < size; ++ k) {
     if (lp_upolynomial_degree(factors_p->factors[k]) <= max_degree) {
       enabled[k] = 1;
-      enabled_count ++;
     } else {
       enabled[k] = 0;
     }