--- layout: fc_discuss_archives title: Message 35 from Frama-C-discuss on April 2014 ---
Hello Dillon, Le 25/04/2014 17:33, Pariente Dillon a ?crit : > "-main" option should do it! It works great! Thanks a lot! Best regards, david