From c682ec1135a1f47686909705ce6b597121eac1f6 Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Fri, 29 Jul 2022 23:12:22 +0700 Subject: [PATCH] Remove remaining references to Z3_bool_opt. --- doc/z3api.cfg.in | 1 - doc/z3code.dox | 4 ++-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/doc/z3api.cfg.in b/doc/z3api.cfg.in index 41624b25586..1c367e14125 100644 --- a/doc/z3api.cfg.in +++ b/doc/z3api.cfg.in @@ -2171,7 +2171,6 @@ INCLUDE_FILE_PATTERNS = # This tag requires that the tag ENABLE_PREPROCESSING is set to YES. PREDEFINED = Z3_ast_opt:=Z3_ast \ - Z3_bool_opt:=Z3_bool \ Z3_func_interp_opt:=Z3_func_interp \ Z3_model_opt:=Z3_model \ __out_opt:=__out diff --git a/doc/z3code.dox b/doc/z3code.dox index b6a7fb0889e..f69fe2bedd4 100644 --- a/doc/z3code.dox +++ b/doc/z3code.dox @@ -816,7 +816,7 @@ INCLUDE_FILE_PATTERNS = # undefined via #undef or recursively expanded use the := operator # instead of the = operator. -PREDEFINED =Z3_ast_opt:=Z3_ast Z3_bool_opt:=Z3_bool Z3_func_interp_opt:=Z3_func_interp Z3_model_opt:=Z3_model __out_opt:=__out +PREDEFINED =Z3_ast_opt:=Z3_ast Z3_func_interp_opt:=Z3_func_interp Z3_model_opt:=Z3_model __out_opt:=__out # If the MACRO_EXPANSION and EXPAND_ONLY_PREDEF tags are set to YES then # this tag can be used to specify a list of macro names that should be expanded. @@ -825,7 +825,7 @@ PREDEFINED =Z3_ast_opt:=Z3_ast Z3_bool_opt:=Z3_bool Z3_func_interp_o EXPAND_AS_DEFINED = -# Z3_ast_opt Z3_bool_opt Z3_func_interp_opt Z3_model_opt __out_opt +# Z3_ast_opt Z3_func_interp_opt Z3_model_opt __out_opt # If the SKIP_FUNCTION_MACROS tag is set to YES (the default) then # doxygen's preprocessor will remove all function-like macros that are alone