--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on July 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Syntax Error although it is from the Mini-Tutorial ! ! !



>
> #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