update set-var-order sig (#482)

SRI-CSL · Dec 1, 2023 · e27cf30 · e27cf30
1 parent 6bf219c
commit e27cf30
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/src/api/yices_api.c b/src/api/yices_api.c
@@ -9323,7 +9323,7 @@ EXPORTED smt_status_t yices_check_context_with_model_and_hint(context_t *ctx, co
  *
  * NOTE: This will overwrite the previously set ordering.
  */
-EXPORTED smt_status_t yices_mcsat_set_var_order(context_t *ctx, const term_t t[], uint32_t n) {
+EXPORTED smt_status_t yices_mcsat_set_var_order(context_t *ctx, uint32_t n, const term_t t[]) {
 
   if (! context_has_mcsat(ctx)) {
     set_error_code(CTX_OPERATION_NOT_SUPPORTED);

diff --git a/src/include/yices.h b/src/include/yices.h
@@ -3292,8 +3292,8 @@ __YICES_DLLSPEC__ extern smt_status_t yices_check_context_with_model_and_hint(co
  *   code = CTX_OPERATION_NOT_SUPPORTED
  */
 __YICES_DLLSPEC__ extern smt_status_t yices_mcsat_set_var_order(context_t *ctx,
-                                                                const term_t t[],
-                                                                uint32_t n);
+                                                                uint32_t n,
+								const term_t t[]);
 
 /*
  * Check satisfiability and compute interpolant.

diff --git a/tests/api/test_mcsat_set_var_order.c b/tests/api/test_mcsat_set_var_order.c
@@ -35,7 +35,7 @@ int main(void)
   term_t order_vars[2];
   order_vars[0] = y;
   order_vars[1] = x;
-  yices_mcsat_set_var_order(ctx, order_vars, 2);
+  yices_mcsat_set_var_order(ctx, 2, order_vars);
 
   // model hint
   model_t* mdl = yices_new_model();