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

Update Z3_bool doc.

Browse source
This commit is contained in:
Bruce Mitchener 2018-03-30 22:34:07 +07:00
parent 32c9af5e5a
commit b9f2188fc0
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

@ -80,7 +80,7 @@ DEFINE_TYPE(Z3_rcf_num);
*/
/**
\brief Z3 Boolean type. It is just an alias for \c int.
\brief Z3 Boolean type. It is just an alias for \c bool.
*/
typedef bool Z3_bool;