From 4c4ca7d3b8222f3f061ef38591d384f3d189efca Mon Sep 17 00:00:00 2001 From: Andrei Sebastian BURUIANA Date: Tue, 6 Nov 2018 13:41:18 +0200 Subject: [PATCH] fixed documentation of Z3_param_descrs_get_name --- 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 a776bbe8e..a903ba9cb 100644 --- a/src/api/z3_api.h +++ b/src/api/z3_api.h @@ -1715,7 +1715,7 @@ extern "C" { unsigned Z3_API Z3_param_descrs_size(Z3_context c, Z3_param_descrs p); /** - \brief Return the number of parameters in the given parameter description set. + \brief Return the name of the parameter at index \c i. \pre i < Z3_param_descrs_size(c, p)