--- layout: fc_discuss_archives title: Message 90 from Frama-C-discuss on September 2013 ---
Dear Anne, Thank you very much for your solution. I just tried this method. It works fine. Best regards, David -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130912/f1ea759a/attachment.html>