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"