From ce0fb1bd241001113a665a512a5a43db33db5964 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 20 Feb 2026 04:32:56 +0000
Subject: [PATCH] Fix OCaml build error: use status instead of solver_result in
 z3.mli

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/api/ml/z3.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/ml/z3.mli b/src/api/ml/z3.mli
index 029992766..da368bf36 100644
--- a/src/api/ml/z3.mli
+++ b/src/api/ml/z3.mli
@@ -3439,7 +3439,7 @@ sig
   (** Retrieve fixed assignments to variables as consequences given assumptions.
       Returns the solver status and a list of consequence expressions.
       Each consequence is an implication: assumptions => variable = value. *)
-  val get_consequences : solver -> Expr.expr list -> Expr.expr list -> solver_result * Expr.expr list
+  val get_consequences : solver -> Expr.expr list -> Expr.expr list -> status * Expr.expr list
 
   (** Solve constraints treating given variables symbolically.
       variables are the variables to solve for, terms are the substitution terms,