Fix a comment for Z3_solver_from_string (#7271)

Z3_solver_from_string accepts a string buffer with solver assertions, not a string buffer with filename.
Z3Prover · Jul 2, 2024 · 1da1320 · 1da1320
1 parent facc7d8
commit 1da1320
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.