From b9f2188fc02c0e171103b383a8684a5199a3c232 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Fri, 30 Mar 2018 22:34:07 +0700
Subject: [PATCH] Update Z3_bool doc.

---
 src/api/z3_api.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index ab570581b..2b46127fa 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -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;