--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on March 2009 ---
Hello Virgile, On Tue, Mar 3, 2009 at 09:28, Virgile Prevosto <virgile.prevosto at cea.fr> wrote: [ regarding undefined contracts. ] > better to give an appropriate contract to each prototype which has no > associated definition. Ok, I'll do that. Many thanks, Yours, d.