diff --git a/src/mcsat/solver.c b/src/mcsat/solver.c
index 51ba2fc98..795dbf494 100644
--- a/src/mcsat/solver.c
+++ b/src/mcsat/solver.c
@@ -2641,7 +2641,7 @@ void mcsat_set_initial_var_order(mcsat_solver_t* mcsat) {
   assert(vars != NULL);
 
   uint32_t i;
-  for (i = 0; i < n; ++n) {
+  for (i = 0; i < n; ++i) {
     term_t x = vars->data[i];
     assert(term_kind(mcsat->terms, x) == UNINTERPRETED_TERM || term_kind(mcsat->terms, x) == VARIABLE);
     variable_t v = variable_db_get_variable(mcsat->var_db, unsigned_term(x));