jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

C backend: "bool" type mandates the inclusion of stdbool.h

Browse source
This commit is contained in:
Adrien Guatto 2010-07-30 12:44:12 +02:00
parent 4de7ecac98
commit 41bad3d8c4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/obc/c/cgen.ml
View file

@ -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]