From cb359d95bfc36ac508ce61269bed535c12495b42 Mon Sep 17 00:00:00 2001
From: Dejan Jovanovic <dejan.jovanovic@sri.com>
Date: Sat, 21 May 2016 18:10:21 -0700
Subject: [PATCH] fixing leaks

---
 src/polynomial/factorization.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/polynomial/factorization.c b/src/polynomial/factorization.c
index 1091dbb4..43fdb2e6 100644
--- 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;