--- layout: fc_discuss_archives title: Message 38 from Frama-C-discuss on June 2011 ---
Even if I try and print things, everything is doubled. I tested with other stmts, and I get the same result. Can you help me find out where it can possibly come from? Thank you so much for your help. Hichem Zakaria Chihani. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110611/2011dbeb/attachment.htm>