From fe1e3017354768e7761ad1db0805fb54b5d4f333 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Mon, 1 Aug 2022 15:51:38 +0700
Subject: [PATCH] Remove Z3_bool, Z3_TRUE, Z3_FALSE from the API.

These have just been aliases for the standard type `bool` and
values `true` and `false` for a long time now.
---
 RELEASE_NOTES.md |  2 +-
 src/api/z3_api.h | 15 ---------------
 2 files changed, 1 insertion(+), 16 deletions(-)

diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 6b03a257644..a2c1dc84dff 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -12,7 +12,7 @@ Version 4.next
 
 Version 4.11.0
 ==============
-- remove Z3_bool from API
+- remove `Z3_bool`, `Z3_TRUE`, `Z3_FALSE` from the API. Use `bool`, `true`, `false` instead.
 
 Version 4.10.2
 ==============
diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index 6beee6d9012..9955f91bef1 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -75,11 +75,6 @@ DEFINE_TYPE(Z3_rcf_num);
    - \c Z3_stats: statistical data for a solver.
 */
 
-/**
-   \brief Z3 Boolean type. It is just an alias for \c bool.
-*/
-typedef bool Z3_bool;
-
 /**
    \brief Z3 string type. It is just an alias for \ccode{const char *}.
 */
@@ -87,16 +82,6 @@ typedef const char * Z3_string;
 typedef char const*  Z3_char_ptr;
 typedef Z3_string * Z3_string_ptr;
 
-/**
-   \brief True value. It is just an alias for \c true.
-*/
-#define Z3_TRUE  true
-
-/**
-   \brief False value. It is just an alias for \c false.
-*/
-#define Z3_FALSE false
-
 /**
    \brief Lifted Boolean type: \c false, \c undefined, \c true.
 */