diff --git a/src/interval/interval.c b/src/interval/interval.c
index 05400f7b..d246cb1a 100644
--- a/src/interval/interval.c
+++ b/src/interval/interval.c
@@ -823,7 +823,7 @@ void lp_interval_set_a(lp_interval_t* I, const lp_value_t* a, int a_open) {
     assert(cmp <= 0);
     if (cmp < 0) {
       lp_value_construct_copy(&I->b, &I->a);
-      lp_value_construct_copy(&I->a, a);
+      lp_value_assign(&I->a, a);
       I->is_point = 0;
       I->a_open = a_open;
       I->b_open = 0;