From af29bc7dc5c92e3003bf58224d20e82dfaae7246 Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Sat, 6 Oct 2012 15:10:27 +0100 Subject: [PATCH] fixed typos in docs for num_no_patterns and no_patterns --- lib/z3_api.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/z3_api.h b/lib/z3_api.h index 24fcc7f10..8573d8b45 100644 --- a/lib/z3_api.h +++ b/lib/z3_api.h @@ -2912,8 +2912,8 @@ END_MLAPI_EXCLUDE \param weight quantifiers are associated with weights indicating the importance of using the quantifier during instantiation. By default, pass the weight 0. \param num_patterns number of patterns. \param patterns array containing the patterns created using #Z3_mk_pattern. - \param num_no_patterns number of patterns. - \param no_patterns array containing the patterns created using #Z3_mk_pattern. + \param num_no_patterns number of no_patterns. + \param no_patterns array containing subexpressions to be excluded from inferred patterns. \param num_decls number of variables to be bound. \param sorts array of sorts of the bound variables. \param decl_names names of the bound variables.