--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on September 2009 ---
You may have ended up with unicode chars in your source code if you copied and pasted the example from the tutorial. You can check whether this is the case by running cat -vet on your source file. Any chars that are not plain ASCII will show up is weird chars on your terminal after you run this command. Cheers > > >> 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 > > > > > > ? ? ? > __________________________________________________________________ > Looking for the perfect gift? Give the gift of Flickr! > > http://www.flickr.com/gift/ > __________________________________________________________________ Looking for the perfect gift? Give the gift of Flickr! http://www.flickr.com/gift/