fixing leaks

SRI-CSL · May 22, 2016 · cb359d9 · cb359d9
1 parent f40aa33
commit cb359d9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/polynomial/factorization.c b/src/polynomial/factorization.c
@@ -253,6 +253,8 @@ int coefficient_factor_square_free_special(const lp_polynomial_context_t* ctx, c
     if (!coefficient_is_one(ctx, &C_pp)) {
       coefficient_factors_add(ctx, factors, &C_pp, 1);
     }
+    coefficient_destruct(&C_pp);
+    coefficient_destruct(&C_cont);
     return 1;
   }
   return 0;