--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on August 2012 ---
Dear Sven: Thanks you so much for your kindly help. The command line you provided successfully solved my problem. Thanks again. Best regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120805/44707dfc/attachment.html>