--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on August 2015 ---
There seems to be a conflict when including both <stdio.h> (or other libc headers) and <builtin.h>. Is there some trick to including both? FRAMAC_SHARE/libc/__fc_define_size_t.h:26:[kernel] user error: redefinition of 'size_t' in the same scope. Previous declaration was at FRAMAC_SHARE/machine.h:67 FRAMAC_SHARE/libc/__fc_define_time_t.h:25:[kernel] user error: redefinition of 'time_t' in the same scope. Previous declaration was at FRAMAC_SHARE/machine.h:70 FRAMAC_SHARE/libc/__fc_define_file.h:39:[kernel] user error: redefinition of 'FILE' in the same scope. Previous declaration was at FRAMAC_SHARE/machine.h:88 [kernel] user error: stopping on file "fin.c" that has errors. Add '-kernel-msg-key pp' for preprocessing command. [kernel] Frama-C aborted: invalid user input. -- Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150820/4d640dc5/attachment.html>