From d83ef5be89caad883154e353bb2cd6a4bf768c10 Mon Sep 17 00:00:00 2001
From: Ahmed <43099566+ahmed-irfan@users.noreply.github.com>
Date: Fri, 17 Nov 2023 22:56:24 -0800
Subject: [PATCH] minor

---
 src/api/yices_api.c | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/src/api/yices_api.c b/src/api/yices_api.c
index e9267d457..baeffac98 100644
--- a/src/api/yices_api.c
+++ b/src/api/yices_api.c
@@ -9331,12 +9331,7 @@ EXPORTED smt_status_t yices_mcsat_set_var_order(context_t *ctx, const term_t t[]
   }
 
   ivector_t *order = &ctx->mcsat_var_order;
-  ivector_reset(order);
-
-  uint32_t i;
-  for (i = 0; i < n; ++i) {
-    ivector_push(order, t[i]);
-  }
+  ivector_copy(order, t, n);
 
   return STATUS_IDLE;
 }