--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on July 2009 ---
> > #include <stdio.h> There is little chance that this is the origin of the problem in this case, but it's a bad idea to rely on system headers, which can contain all kinds of compiler-specific syntax and make your bug reports hard to reproduce on other platforms than yours. I would remove this line (especially the function max_seq does not use it). Pascal