From 6124e16d13e8bd2643f06fec84dd622fe5c8e00e Mon Sep 17 00:00:00 2001
From: Sergey Bronnikov <estetus@gmail.com>
Date: Tue, 2 Jul 2024 14:57:38 +0300
Subject: [PATCH] Fix a comment for Z3_solver_from_string

Z3_solver_from_string accepts a string buffer with solver
assertions, not a string buffer with filename.
---
 src/api/z3_api.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index dacf4b578f5..1f0daf8b505 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -7018,7 +7018,7 @@ extern "C" {
 
        def_API('Z3_solver_from_string', VOID, (_in(CONTEXT), _in(SOLVER), _in(STRING)))
     */
-    void Z3_API Z3_solver_from_string(Z3_context c, Z3_solver s, Z3_string file_name);
+    void Z3_API Z3_solver_from_string(Z3_context c, Z3_solver s, Z3_string str);
 
     /**
        \brief Return the set of asserted formulas on the solver.