--- layout: fc_discuss_archives title: Message 94 from Frama-C-discuss on June 2009 ---
Hello Julien, Julien Signoles <Julien.Signoles at cea.fr> writes: > Yes, I have. Please could you report this bug on the bts http://bts.frama-c.com/ > (as explained by the error message)? The error message could give the above URL. Yours, d. -- GPG/PGP key: A3AD7A2A David MENTRE <dmentre at linux-france.org> 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A