--- layout: fc_discuss_archives title: Message 85 from Frama-C-discuss on April 2010 ---
# pragma SeparationPolicy(none) Sorry, it should have been in the Changes - Claude Jens Gerlach wrote: > I agree, it appears that "-jessie-no-regions" is gone in Boron, although > I could not > find any mentioning of it in the change > logs: http://why.lri.fr/download/CHANGES > Is there an alternative for "-jessie-no-regions" ? > > Regards Jens > > Am 28.04.2010 um 11:40 schrieb Pascal Cuoq: > >>>> I hear that some of the information in this old thread is now obsolete: >>> >>> Pascal, I don't understand why you think the information is obsolete. It >>> seems to be a similar case to me, with the same answer. >> >> Discussing with other users of Jessie, I heard that they had noticed >> changes >> related to the option -jessie-no-regions and I thought this was related. >> Please forget that part of my message. >> >> 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 -- Claude March? | tel: +33 1 72 92 59 69 INRIA Saclay - ?le-de-France | mobile: +33 6 33 14 57 93 Parc Orsay Universit? | fax: +33 1 74 85 42 29 4, rue Jacques Monod - B?timent N | http://www.lri.fr/~marche/ F-91893 ORSAY Cedex | http://maps.google.fr/maps?q=48.70963,2.17513+%28Claude+March%C3%A9%27s+Office%29