fix memory leak

SRI-CSL · Apr 1, 2020 · 3c7812e · 3c7812e
1 parent 575451d
commit 3c7812e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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: