mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-29 18:52:29 +00:00
Code Activity

Remove remaining references to Z3_bool_opt.

Browse source
This commit is contained in:
Bruce Mitchener 2022-07-29 23:12:22 +07:00 • committed by Nikolaj Bjorner
parent 591d485358
commit c682ec1135
2 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

1
doc/z3api.cfg.in
View file

@ -2171,7 +2171,6 @@ INCLUDE_FILE_PATTERNS =
# This tag requires that the tag ENABLE_PREPROCESSING is set to YES. # This tag requires that the tag ENABLE_PREPROCESSING is set to YES.
PREDEFINED = Z3_ast_opt:=Z3_ast \ PREDEFINED = Z3_ast_opt:=Z3_ast \
Z3_bool_opt:=Z3_bool \
Z3_func_interp_opt:=Z3_func_interp \ Z3_func_interp_opt:=Z3_func_interp \
Z3_model_opt:=Z3_model \ Z3_model_opt:=Z3_model \
__out_opt:=__out __out_opt:=__out

4
doc/z3code.dox
View file

@ -816,7 +816,7 @@ INCLUDE_FILE_PATTERNS =
# undefined via #undef or recursively expanded use the := operator # undefined via #undef or recursively expanded use the := operator
# instead of 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 # 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. # 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 = 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 # 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 # doxygen's preprocessor will remove all function-like macros that are alone