mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

Z3_search_failure type not needed in v4 ml api

Browse source
This commit is contained in:
Josh Berdine 2012-12-08 18:05:26 +00:00
parent 32896a15e6
commit fd5372d7a2
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/api/z3_api.h
View file

@ -1080,6 +1080,7 @@ typedef enum {
Z3_PK_INVALID Z3_PK_INVALID
} Z3_param_kind; } Z3_param_kind;
#ifdef CorML3
/** /**
\mlonly {!search_failure} \endmlonly \conly \brief \mlonly {!search_failure} \endmlonly \conly \brief
The different kinds of search failure types. The different kinds of search failure types.
@ -1103,6 +1104,7 @@ typedef enum {
Z3_THEORY, Z3_THEORY,
Z3_QUANTIFIERS Z3_QUANTIFIERS
} Z3_search_failure; } Z3_search_failure;
#endif
/** /**
\mlonly {!ast_print_mode} \endmlonly \conly \brief \mlonly {!ast_print_mode} \endmlonly \conly \brief