From 58544925048b8559880edb20ccca385c895f1acb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 10 Mar 2018 11:59:42 -0800
Subject: [PATCH] add stdbool.h to see whether build system breaks #1526

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/z3.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/api/z3.h b/src/api/z3.h
index 99929f33b..b29f1d6ba 100644
--- a/src/api/z3.h
+++ b/src/api/z3.h
@@ -21,7 +21,8 @@ Notes:
 #ifndef Z3_H_
 #define Z3_H_
 
-#include<stdio.h>
+#include <stdio.h>
+#include <stdbool.h>
 #include "z3_macros.h"
 #include "z3_api.h"
 #include "z3_ast_containers.h"