--- layout: fc_discuss_archives title: Message 34 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 ! ! !



thx .. I did that but the same thing happens !

could it be because of on of the requierments is not as they should be
? but I did check that before or else I could not have installed
frama-c in the first place !

mhh ..



On Mon, Jul 27, 2009 at 12:55 PM, Pascal Cuoq<Pascal.Cuoq at cea.fr> wrote:
>>
>> #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
>
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>