From 41bad3d8c4cf85b32b4f24d4a253206de772a032 Mon Sep 17 00:00:00 2001 From: Adrien Guatto Date: Fri, 30 Jul 2010 12:44:12 +0200 Subject: [PATCH] C backend: "bool" type mandates the inclusion of stdbool.h --- compiler/obc/c/cgen.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/obc/c/cgen.ml b/compiler/obc/c/cgen.ml index b85d0ff..649e9bc 100644 --- a/compiler/obc/c/cgen.ml +++ b/compiler/obc/c/cgen.ml @@ -733,7 +733,7 @@ let cfile_list_of_oprog_ty_decls name oprog = let (cty_defs, cty_decls) = List.split (List.rev cdefs_and_cdecls) in let filename_types = name ^ "_types" in let types_h = (filename_types ^ ".h", - Cheader ([], concat cty_decls)) in + Cheader (["stdbool"], concat cty_decls)) in let types_c = (filename_types ^ ".c", Csource (concat cty_defs)) in filename_types, [types_h; types_c]