From 813882923186b18159442f4b5feb313f7b44725a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 9 Apr 2025 20:23:26 -0700
Subject: [PATCH] fix #7616

---
 src/api/api_solver.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/api/api_solver.cpp b/src/api/api_solver.cpp
index ac28be572..a7bafc0bc 100644
--- a/src/api/api_solver.cpp
+++ b/src/api/api_solver.cpp
@@ -1185,6 +1185,7 @@ extern "C" {
         Z3_TRY;
         LOG_Z3_solver_set_initial_value(c, s, var, value);
         RESET_ERROR_CODE();
+        init_solver(c, s);
         if (to_expr(var)->get_sort() != to_expr(value)->get_sort()) {
             SET_ERROR_CODE(Z3_INVALID_USAGE, "variable and value should have same sort");
             return;