From 43009600d404537a9da76969f46ddd7a67495f10 Mon Sep 17 00:00:00 2001 From: Mark DenHoed Date: Fri, 20 Mar 2026 17:18:13 +0000 Subject: [PATCH] Fix documentation for Z3_solver_to_dimacs_string (#9053) Corrected the function name in the documentation comment. --- 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 4d2c72b86..89810df0b 100644 --- a/src/api/z3_api.h +++ b/src/api/z3_api.h @@ -7656,7 +7656,7 @@ extern "C" { /** \brief Convert a solver into a DIMACS formatted string. - \sa Z3_goal_to_diamcs_string for requirements. + \sa Z3_goal_to_dimacs_string for requirements. def_API('Z3_solver_to_dimacs_string', STRING, (_in(CONTEXT), _in(SOLVER), _in(BOOL))) */