From 3c7812ec8fe6ff0d5e41077799967d854929766d Mon Sep 17 00:00:00 2001
From: Dejan Jovanovic <dejan.jovanovic@sri.com>
Date: Wed, 1 Apr 2020 11:03:02 -0400
Subject: [PATCH] fix memory leak

---
 src/number/value.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/number/value.c b/src/number/value.c
index 8190fd79..dae6ffd1 100644
--- a/src/number/value.c
+++ b/src/number/value.c
@@ -163,6 +163,7 @@ void lp_value_approx(const lp_value_t* v, lp_rational_interval_t* out) {
     lp_rational_t point;
     rational_construct_from_integer(&point, &v->value.z);
     lp_rational_interval_construct_point(&approx, &point);
+    rational_destruct(&point);
     break;
   }
   case LP_VALUE_RATIONAL: