--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on July 2009 ---
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 >