minor

SRI-CSL · Nov 18, 2023 · d83ef5b · d83ef5b
1 parent 783ff3e
commit d83ef5b
Showing 1 changed file with 1 addition and 6 deletions.
diff --git 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;
 }