mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

Merge pull request #1556 from waywardmonkeys/update-z3-bool-doc

Browse source 
Update Z3_bool doc.
This commit is contained in:
Nikolaj Bjorner 2018-03-30 08:42:18 -07:00 committed by GitHub
parent 32c9af5e5a b9f2188fc0
commit bb7ad4e938
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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;