fix typo

SRI-CSL · Apr 17, 2024 · 963264c · 963264c
1 parent 3b93035
commit 963264c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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));