From 510cb5ee6e9e8e7120b2112707e0ad3535e2f896 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Wed, 23 May 2018 23:51:36 +0700
Subject: [PATCH] Z3_TRUE/Z3_FALSE should be true/false, not 1/0.

Now that Z3_bool is a C bool, the associated constants should
be as well.
---
 src/api/z3_api.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/api/z3_api.h b/src/api/z3_api.h
index 0825f27a0..d5c279d63 100644
--- a/src/api/z3_api.h
+++ b/src/api/z3_api.h
@@ -83,14 +83,14 @@ typedef const char * Z3_string;
 typedef Z3_string * Z3_string_ptr;
 
 /**
-   \brief True value. It is just an alias for \c 1.
+   \brief True value. It is just an alias for \c true.
 */
-#define Z3_TRUE  1
+#define Z3_TRUE  true
 
 /**
-   \brief False value. It is just an alias for \c 0.
+   \brief False value. It is just an alias for \c false.
 */
-#define Z3_FALSE 0
+#define Z3_FALSE false
 
 /**
    \brief Lifted Boolean type: \c false, \c undefined, \c true.