From 78744e589c5a3213929b09174fb19bfb0abf6ee0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 27 Mar 2018 12:19:24 -0700
Subject: [PATCH] add stdbool.h

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

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