mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

[Doxygen] Fixed mismatched @{ and @} declaration which prevented

Browse source 
the `capi` group from being declared properly. For example this
prevented from `Z3_mk_solver()` from appearing in the `capi` group.
This commit is contained in:
Dan Liew 2017-06-07 18:49:43 +01:00
parent 85c7f5d865
commit bcb3981c5f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/api/z3_api.h
View file

@ -48,6 +48,7 @@ DEFINE_TYPE(Z3_rcf_num);
/*@{*/ /*@{*/
/** @name Types /** @name Types
@{
Most of the types in the C API are opaque pointers. Most of the types in the C API are opaque pointers.
@ -5238,7 +5239,6 @@ extern "C" {
def_API('Z3_get_error_msg', STRING, (_in(CONTEXT), _in(ERROR_CODE))) def_API('Z3_get_error_msg', STRING, (_in(CONTEXT), _in(ERROR_CODE)))
*/ */
Z3_string Z3_API Z3_get_error_msg(Z3_context c, Z3_error_code err); Z3_string Z3_API Z3_get_error_msg(Z3_context c, Z3_error_code err);
/*@}*/
/** /**
\brief Return a string describing the given error code. \brief Return a string describing the given error code.